Steve_Omohundro comments on Limitations on Formal Verification for AI Safety

[Steve_Omohundro]

Thanks! His work looks very interesting! He recently did this nice talk which is very relevant: “Formal Verification in Scientific Computing”