AINewsnow

An AI Proved an 18-Year-Old Math Conjecture in Three Days

Physical Superintelligence says an internal research system running an unreleased Anthropic model closed the Aaronson-Ambainis quantum-speedup conjecture — open since 2008. A Lean proof assistant accepted the complete argument on day 3, and the system improved its own bound twice more. No peer revi…

Read the full story at DEV Community — AI ↗

Timeline · 3 reports

  1. 2026-11-08 00:38 · r/artificial
    An AI system just proved an 18-year-old quantum conjecture — and Lean checked every step
  2. 2026-11-07 08:02 · DEV Community — Machine Learning
    Aaronson-Ambainis conjecture proved: an unreleased Anthropic model settles the 18-year-old quantum question, Lean-checked
  3. 2026-11-07 03:13 · DEV Community — AI
    An AI Proved an 18-Year-Old Math Conjecture in Three Days

More stories

  1. Anthropic releases Claude Fable 5.2 and Mythos 5.2, its most capable models to date — Anthropic (X)
  2. Did Claude Code’s ‘don’t ask again’ option accidentally expose your enterprise's passwords and keys? — VentureBeat AI
  3. IBM and Cisco to integrate Anthropic's Claude Mythos into security platforms — Mixture of Experts (IBM)
  4. Jim Cramer says Anthropic's IPO could be a key test for the AI trade — CNBC Technology
  5. DeepSeek's Harness agent app reaches 1.54 million daily users — Bloomberg AI
  6. Anthropic commits $3.4 billion to gas generators for AI data centers — Bloomberg AI
  7. Anthropic publishes guide on choosing between Claude models — Anthropic (X)
  8. Anthropic launches Claude Personal Finance with read-only bank access in the US — Engadget

Get the daily brief of stories like this at 6:30 every morning →