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.
Related event: Claude Produces Record Formal Proof of Fermat's Last Theorem(2 posts)→
More from Models
- OpenAI upgrades Decisions API: 400 questions per call, native voice and image support — OpenAIDevs · 2026-10-26
- Fangcun AI, China's first independent frontier AI safety lab, launches with DeepSeek eval report — JacquesThibs · 2026-10-26
- When AI hits an existential crisis: model confuses itself and everyone else — Ok-Delivery-7437 · 2026-10-26
- Kimi K3.1 Pro tops MathArena open models, closing frontier gap to about 6 months — teortaxesTex · 2026-10-26
- Ruff creator Charlie Marsh: frontier models find infinite bugs in any software — charliermarsh · 2026-10-26
- Dev testing one skill across Opus 5.5 and Sol 6.1 finds instruction following 'all over the map' — lucasmeijer · 2026-10-26