MIT graduate solves 18-year-old quantum computing problem with the help of an AI model
David Turturyan, an employee of the startup lab Physical Superintelligence (PSI), used early access to the Anthropic Fable 5.2 model to prove the Aaronson–Ambainis conjecture, which had remained open for 18 years. Scott Aaronson said he does not fully understand the proof but considers it correct, since it has been formalized in Lean and verified by a team of researchers. The solution closes one of the paths to speeding up quantum computing and shows how AI is changing scientific practice.
Aziz Karimov