AINewsnow

An AI system just proved an 18-year-old quantum conjecture — and Lean checked every step

Physical Superintelligence (PSI) announced on November 6 that an internal research system running instances of a non-public Anthropic model produced a complete proof of the Aaronson–Ambainis conjecture — a quantum-computing question open since 2008 — on the third day of a run. The Lean proof assist…

Read the full story at r/artificial ↗

Timeline · 1 report

  1. 2026-11-08 00:38 · r/artificial
    An AI system just proved an 18-year-old quantum conjecture — and Lean checked every step

More stories

  1. Anthropic releases Claude Fable 5.2 and Mythos 5.2 with coding gains and price cuts — Anthropic (X)
  2. Meta launches Muse Ember, a low-cost AI model aimed at high-volume agent work — TechCrunch AI
  3. Anthropic to Begin Formal Marketing of IPO as Early as Tuesday — Wall Street Journal Technology
  4. Anthropic's nearly $70 billion IPO plan briefly circulated to banks before retraction — Reuters AI
  5. Anthropic agrees $3.4bn deal for 1.7GW of gas generators to power data centres — Bloomberg AI
  6. Jensen Huang pulls out of ElevenLabs Summit amid Nvidia controversy — TechCrunch AI
  7. Anthropic IPO stalls as markets await fresh attempt — Reuters AI
  8. IBM and Cisco to integrate Anthropic's Claude Mythos into security platforms — Mixture of Experts (IBM)

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