Anthropic says Claude wrote the longest math proof ever, cracking a 358-year-old problem
basedjensen · x · 2026-09-07
Citing Anthropic's announcement, Kalshi reports that Claude has produced the longest mathematical proof ever made and resolved a math problem that had stood for 358 years. If confirmed, it marks one of AI's most significant contributions to frontier mathematics, pointing to major gains in long-horizon rigorous reasoning. Details of the proof remain to be disclosed.
More from Models
- Leak hints a 20T-parameter model is on the way — Dr_Singularity · 2026-09-07
- Blogger revises AI training scale estimate to 5-7T, says 8T already too generous — scaling01 · 2026-09-07
- OpenAI's Astra math 'breakthroughs' commit research misconduct, mathematicians say — asusarla · 2026-09-07
- Peter Gostev debunks model sparsity leak: Kimi 26:1, DeepSeek 32:1, 1.2T active params implausible — inductionheads · 2026-09-07
- OpenAI's newest models block function tools on /v1/chat/completions, forcing Responses API migration — AI-Specialist-6597 · 2026-09-07
- Jensen Huang declares "AGI is here"; Chinese LLMs top global inference usage for 19th week — 快鲤鱼 · 2026-09-07