PSI uses Anthropic's Fable 5.2 to solve the Aaronson-Ambainis conjecture
AIPhysical Superintelligence (PSI) researcher David Turturean used early access to Anthropic's Fable 5.2 model to solve the Aaronson-Ambainis conjecture, a quantum computing problem open for eighteen years. Scott Aaronson says he does not fully follow the proof but believes it is correct because it was autoformalized in Lean.
AIWhy it matters.
The article links one solved quantum computing conjecture to PSI's business model of specialized research harnesses and validation through experiments.
Source details
TechCrunch · AI · Tim Fernholz · techcrunch.comPublished · added here
Original title: PSI is trying to make a business out of AI-driven scientific discovery