AI physics startup PSI says a system running a non-public Anthropic model proved the Aaronson-Ambainis conjecture, a quantum computing question open since 2008 (PSI)
PSI reports a machine-checked proof with implications for quantum computing speedups.
The company says its system used a non-public Anthropic model to tackle the Aaronson-Ambainis conjecture. The problem, posed by Scott Aaronson and Andris Ambainis, had been open since 2008. PSI describes it as a central question in quantum complexity; the supplied note does not detail the proof or establish independent verification.
Techmeme's note
The company says its system used a non-public Anthropic model to tackle the Aaronson-Ambainis conjecture. The problem, posed by Scott Aaronson and Andris Ambainis, had been open since 2008. PSI describes it as a central question in quantum complexity; the supplied note does not detail the proof or establish independent verification.
Techmeme's note
score 8