Claude formalized Fermat's Last Theorem in Lean
ClaudeAnthropic says the model worked largely autonomously for 11 days, turning a famous proof into machine-checkable code.
Tags
2#reasoning-models
End of feed
Tags
2Anthropic says the model worked largely autonomously for 11 days, turning a famous proof into machine-checkable code.
End of feed