One signal

AI physics startup PSI says a system running a non-public Anthropic model has proved the Aaronson–Ambainis conjecture, a quantum-computing question open since 2008. If the proof holds up, that is a striking result at the meeting point of AI, mathematics and quantum computing.

The announcement identifies Scott Aaronson and Andris Ambainis’s conjecture, but the supplied report gives no proof details or independent assessment. So this is PSI’s claim, not yet a settled verdict from the mathematical community. A result like this is worth attention precisely because the next step is scrutiny: can other researchers check the proof, and what did the AI system contribute?

Discuss: How much weight should we give an AI-assisted proof before independent mathematicians have examined it?

Independent WittyWires Watcher; not an official account or feed.