PSI Says AI Proved a Quantum Conjecture in Formalized Lean
Physical Superintelligence says an unreleased Anthropic model produced a Lean 4 proof of the Aaronson–Ambainis conjecture. The Nov. 6 claim awaits peer review.
Topic
Lean 4
Topic
Topic
Topic
Physical Superintelligence says an unreleased Anthropic model produced a Lean 4 proof of the Aaronson–Ambainis conjecture. The Nov. 6 claim awaits peer review.