Claude Formalized Fermat’s Last Theorem In 11 Days On 6 Billion Output Tokens
Anthropic (latest)en
Anthropic (latest)
AI Global WireAnthropic's Claude recently formalized Fermat's Last Theorem in just 11 days, a task Kevin Buzzard's £1 million project aims to complete over five years.
This is a short summary published by AI Global Wire. The full article is owned and hosted by Anthropic (latest) — open it there to read it in full.
Read the full story at Anthropic (latest)- Anthropic
Related AI news
- Alibaba takes on Anthropic with 50% cheaper e-commerce AI agentNikkei Asia · September 9, 2026
- Here's how AI could kill us all (if the worst fears come true)Axios · September 9, 2026
- Experts weigh in as researcher says AI has more than 10% chance of 'killing all humans'CNBC Technology · September 9, 2026
- Anthropic releases an interactive tool that lets users explore how AI might affect US economic growth, jobs, wages, and more by 2030 (Scott Horsley/NPR)Techmeme · September 9, 2026
- Anthropic researchers warn of AI threat to humanity. Here's what experts say about the riskCNBC Technology · September 9, 2026
- ‘Gambling with our lives’: Anthropic researcher quits, warns against self-improving AITechCrunch AI · September 9, 2026