Paper with Lean formalization claims Claude-found algorithm disproves 3SUM conjecture
basedjensen · x · 2026-10-06
A new paper, accompanied by a Lean formalization, claims to disprove the Randomized Integer Word-RAM 3SUM Conjecture (#159 in the author's LLM-based ranking of important open math problems), stating that Claude, Anthropic's AI model, discovered the algorithm refuting the 3SUM, APSP, and Exact Triangle hypotheses. It also claims to resolve #243, All-Pairs Shortest Paths in truly subcubic time, and Anthropic certified the main results with an internal research model after completion. Pending community verification, this would be a landmark for AI-assisted mathematics.
More from Models
- Dev runs every task in both Codex and Claude Code: Opus 5.5 beats GPT-6 Astra — JeremyNguyenPhD · 2026-10-06
- User Pushes Back on GPT-6 Astra Efficiency Claims, Says Claude Opus 5.5 Limits Feel More Generous — CtrlAltDwayne · 2026-10-06
- Synthetic data is the biggest opportunity in AI coding, argues long thread — creatoroff · 2026-10-06
- Codex spins its wheels while Claude Opus shows far deeper understanding, user reports — iruletheworldmo · 2026-10-06
- Cohere Labs Releases Tiny Aya, a Family of Small Models Covering 70+ Languages — Cohere_Labs · 2026-10-06
- Claude Code auto-resumes after quota resets; full SaaS app cost only 15% of weekly limit — Avntus · 2026-10-06