Physical Superintelligence Says AI Proved Longstanding Quantum Conjecture
The Cambridge startup says its system proved the Aaronson–Ambainis conjecture in three days and produced a machine-checkable Lean formalisation. The claim centres on a mathematical result and the…
Intellisphere Research Desk ·
