Physical Superintelligence Inc., or PSI, said Friday it used an unreleased model from Anthropic to prove the Aaronson-Ambainis conjecture, a long-standing problem in quantum computing.

The lab developed a research system that included the Anthropic model.

"Quantum computing still has plenty of mysteries, but now there is one fewer," the lab said.

David Turturean, a member of the technical staff at PSI, developed the research system that used the unreleased Anthropic model to prove the Aaronson-Ambainis conjecture.

It's not clear what unreleased model PSI used.