safetyopinionbullishTheorem proving can support verified ML systems, functional program synthesis, interoperability across proof assistants, and scientific reasoningAnima Anandkumar28 Jul 2026https://x.com/AnimaAnandkumar/status/2075279899749920861