Startup Physical Superintelligence (PSI) says its researcher David Turturean used early access to Anthropic's Fable 5.2 model to produce a proof of the Aaronson-Ambainis conjecture, a long-standing open problem in quantum query complexity. Scott Aaronson, who co-posed the conjecture decades ago, said he cannot fully verify the proof himself but believes it is correct because it was autoformalized in the Lean proof language and reviewed by outside researchers PSI consulted. The result rules out one theoretical route for quantum computers to gain speed advantages over classical ones, though not all such routes.
techcrunch.com
· 2026-11-10
CNET compared the $100-120 LawnMaster LT506-2000A electric pressure washer against an older AR Blue Clean 383SS model that originally cost around $250, testing both on identical surfaces and spray settings. The LawnMaster is rated for up to 2,300 PSI and 1.4 GPM, edging out the AR Blue Clean's 1,900 PSI and 1.3 GPM rating, despite being lighter and cheaper.
cnet.com
· 2026-10-03
A nonprofit called the Fermi Explorer Mission plans to launch a spacecraft toward the Alpha Centauri star system by the end of 2029, using a novel flight path calculated by an AI system built by physics lab PSI. The mission, though launched this decade, could take the probe as long as 80,000 years to reach its destination 4.4 light-years away. Separately, MIT Technology Review highlighted how AI models have rapidly improved at solving New York Times Connections puzzles, jumping from 18% accuracy in late 2024 to near-perfect scores by early 2025.
technologyreview.com
· 2026-09-02
GoKawiil