Max von Hippel comments on Lies, Damned Lies, and Proofs: Formal Methods are not Slopless

[Max von Hippel]

Yes! I believe Axiom AI has been involved with this effort.