AINewsnow

Aaronson-Ambainis conjecture proved: an unreleased Anthropic model settles the 18-year-old quantum question, Lean-checked

Originally published at https://aifrontierpost.com/articles/psi-anthropic-aaronson-ambainis-conjecture-proof/ An AI research system running an unreleased Anthropic model has proved the Aaronson-Ambainis conjecture, an 18-year-old open problem in quantum computing — and the Lean proof assistant has…

Read the full story at DEV Community — Machine Learning ↗

Timeline · 2 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

More stories

  1. Anthropic launches Claude Fable 5.2 and Mythos 5.2 AI models — Anthropic (X)
  2. Anthropic agrees $3.4bn deal for 1.7GW of gas generators to power data centres — Bloomberg AI
  3. Did Claude Code’s ‘don’t ask again’ option accidentally expose your enterprise's passwords and keys? — VentureBeat AI
  4. Anthropic aims to raise up to $69.3 billion in IPO — Reuters AI
  5. Anthropic Sent Banks Wrong Documents Before Launching IPO — The Information AI
  6. IBM and Cisco to integrate Anthropic's Claude Mythos into security platforms — Mixture of Experts (IBM)
  7. Jim Cramer says Anthropic's IPO could be a key test for the AI trade — CNBC Technology
  8. DeepSeek's Harness agent app reaches 1.54 million daily users — Bloomberg AI

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