𧟠Anthropic's unreleased Fable 5.2 helped crack an 18-year-old quantum computing puzzle
Startup lab Physical Superintelligence (PSI) says researcher David Turturean used early access to Anthropic's Fable 5.2 to prove the Aaronson-Ambainis conjecture, a 2008 problem about when quantum computers can beat classical ones. Co-author of the conjecture Scott Aaronson wrote that he doesn't fully follow the proof but believes it is correct, since it was formalized in the Lean proof language and checked by top researchers. The result is negative: it rules out one route to quantum speedups, not all of them.
â AI is now closing open problems that experts called "centrally important," and startups like PSI are trying to turn that into a business.
#AI
Startup lab Physical Superintelligence (PSI) says researcher David Turturean used early access to Anthropic's Fable 5.2 to prove the Aaronson-Ambainis conjecture, a 2008 problem about when quantum computers can beat classical ones. Co-author of the conjecture Scott Aaronson wrote that he doesn't fully follow the proof but believes it is correct, since it was formalized in the Lean proof language and checked by top researchers. The result is negative: it rules out one route to quantum speedups, not all of them.
â AI is now closing open problems that experts called "centrally important," and startups like PSI are trying to turn that into a business.
#AI
