Anthropic ·

Anthropic says Claude worked "largely autonomously" over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language

We are sharing the first complete computer-checked proof of Fermat's Last Theorem. Claude worked largely autonomously over 11 days …

In this story Anthropic Claude Lean

Anthropic says Claude worked "largely autonomously" over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language

Lead Source

Anthropic — Anthropic says Claude worked "largely autonomously" over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language ↗

How this story grew

Coverage · 0 Discussion · 0

Sep 4Sep 6

More

GitHub: GitHub

SiliconANGLE: SiliconANGLE

Decrypt: Decrypt

Tech Times: Tech Times

Xena: Xena

Techstrong.ai: Techstrong.ai

Related stories

Wall Street Journal: How Anthropic's Claude made a math breakthrough during its unsuccessful 54-hour attempt to solve the Riemann hypothesis, aided by a staffer's encouragement

Anthropic: Anthropic releases findings from a pilot that let three external researchers run studies on Claude usage; one study found users delegate high-stakes tasks

Anthropic: Anthropic details two experiments showing how Claude can accelerate protein design and analytical chemistry, and says it plans an access program for scientists

Daring Fireball: Anthropic's text watermark alters word probabilities to embed a fingerprint, which could degrade Claude's writing, despite its claim of no impact on quality

New York Times: Interview with mathematician Tristan Buckmaster on being drawn into the OpenAI-Anthropic fight; OpenAI says it made progress on another Millennium Prize problem

Discuss with AI

ChatGPT ↗ Claude ↗

← Back to TechSnif