Rust and non-SPARK Ada are not equally safe. Ada is unsafe in the presence of data races, and also has runtime checks that slow it down, or you disable them and then it's even less safe.

Yeah SPARK ADA is what I meant :)

I think formal verification is the way to go with AI moving forward.