Share Facebook Twitter LinkedIn Pinterest Email Anthropic’s AI model Claude autonomously produced the first complete computer-checked proof of Fermat’s Last Theorem in Lean over 11 days.
By Michael Fawn