#Formal-Verification
2 notas · última:
Formalizing Fermat's Last Theorem
Anthropic says Claude produced the first end-to-end computer-checked proof of Fermat’s Last Theorem in 11 days, showing how large proofs can be formalized and verified with Lean.
The Code-Only Agent
The article argues that an agent should have only one tool, code execution. By forcing every task into executable code, it produces repeatable witnesses, clearer semantics, and more trustworthy computation.