Claude completes first computer-verified proof of Fermat's Last Theorem
Anthropic's Claude wrote 13 million lines of Lean code over 11 days to formalize one of mathematics' toughest problems
20
Tag
formal-verification
That's the last story.
Tag
Anthropic's Claude wrote 13 million lines of Lean code over 11 days to formalize one of mathematics' toughest problems
That's the last story.