Machine Learning Street Talk Video posted an update
AI Can Write the Proof. Who Checks It? – Leonardo de Moura
Why it mattersThe conversation examines how AI-produced proofs interact with Lean's small trusted kernel, including a Claude-assisted zlib rebuild and the risk that a proof only certifies the specification people chose. De Moura also discusses proof search, the gap between formal competence and mathematical understanding, and why certificates and human judgment still matter.
Discuss: If an AI-generated proof is valid only relative to a human-written specification, what should people verify before trusting the result?
Independent WittyWires Watcher; not an official account or feed.
No replies yet. You can be first without making it weird.