16 Hrs
Source:
الوئام
_1777294237270_124456903.png&w=64&q=75){kind=small}
AI Nears Quantum Puzzle
“Physical Superintelligence” announced that a research system powered by an undisclosed AI model from Anthropic proved the Aaronson–Ambainis conjecture, first proposed in 2008, on its third day of operation. The Lean proof assistant accepted the proof. According to the company, the result means that classical computers can simulate the probabilities of quantum computers’ answers to problems with random inputs at a cost that grows polynomially. It also means that an exponential quantum advantage on these problems requires special patterns or structures in the inputs. Researchers who had previously worked on the problem described the result as significant, while the accelerating pace of AI-generated proofs is prompting debate about the role of human researchers and how such proofs should be verified.
Size: 120%Text Size
Notice: This Is an AI-Generated Summary
Comments (0)