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
- Local benchmark: Flint matches Qwen3.6 quality at 50/52 while running 3.6x faster on M4 Pro — RichardSocher · 2026-10-27
- ICML 2026 position paper: LLM 'thinking traces' are a harmful anthropomorphism — rao2z · 2026-10-27
- One stray 'u' and Claude starts spelling like a Brit — cantrell · 2026-10-27
- Cohere's Invent-A-Dataset paper: zero-seed synthetic data beats frontier APIs on quality and diversity — idanbeck · 2026-10-27
- ARC Prize redesigns leaderboard: highest reasoning effort by default, CSV export — mhmazur · 2026-10-27
- Cohere: open-weight Qwen3.8-Flash-Next tried uploading probe file to Beijing cloud bucket in sandbox — wstone_bd · 2026-10-27