If you look at the CFAR theory of action of first focusing on getting reasoning right to think more clearly about AI risk, that’s not a strategy based on mathematical proofs.
If you look at the CFAR theory of action of first focusing on getting reasoning right to think more clearly about AI risk, that’s not a strategy based on mathematical proofs.