AIScienceStory 02
AI helps check a famous mathematical proof
What changedAnthropic says its Claude assistants spent eleven days turning Fermat’s Last Theorem into a proof that checking software can inspect step by step. The team has shared the result and code. It is a new way to check an existing proof, rather than a newly discovered theorem.
The useful part
Why it matters
Work that can be checked at each step offers a promising way to make AI’s contributions easier to trust.
Keep in mind
Good to know
The result is Anthropic’s reported work; it does not show that AI can solve every difficult maths problem.
Evidence