The claim could matter to quantum computing because predictions of a quantum computer’s advantage sometimes depend on assumptions about what ordinary computers can — and cannot — do.
Should Quantum Researchers Care?
On reason quantum computing researchers are likely to follow this examination is because some arguments about the difficulty of simulating quantum computers rely on related assumptions.
Examining the Proof OpenAI says its proof has been checked using Lean, software designed to verify mathematical reasoning.
A Separate Quantum Physics Claim OpenAI also announced claimed mathematical existence proofs for quantum field theories, including quantum chromodynamics, which describes interactions involving quarks and gluons.