OpenAI Withdraws Three Math Results
OpenAI math results update: six new Lean formalizations, 19 revisions, and three withdrawals leave about 42% of top-line results formalized.
Tag
# Lean
2 posts with this tag.
When Fermat’s Last Theorem Becomes Machine-Checkable
Anthropic says Claude formalized Fermat’s Last Theorem in Lean in 11 days, highlighting a shift from discovering proofs to making complex mathematics machine-checkable.