safetyopinionbullishLean can be used not just as a proof assistant for mathematics, but as infrastructure for building, specifying, checking, and evaluating AI systemsAnima Anandkumar28 Jul 2026https://x.com/AnimaAnandkumar/status/2075279899749920861