News
Summaries of reported results, appointments, and public programmes in quantum science, with the paper or announcement each one rests on.
Discoveries / Explainer
OpenAI says an AI system has found a subexponential-time algorithm for counting solutions of fixed-width k-SAT formulas, which would refute the Exponential Time Hypothesis. A manuscript and partial Lean proof are under external review; P versus NP is unaffected.
Read the articleDiscoveries / Explainer
Physical Superintelligence and David Turturean have released a paper and Lean 4 formalisation claiming to prove the 2008 Aaronson–Ambainis conjecture, which limits quantum speedups on unstructured problems. The background, the key lemma, and what the Lean 4 verification covers.
Discoveries / Explainer
In measurement-based quantum computing, an entangled resource state is prepared first and the computation is carried out by measuring single qubits, with later measurements adapted to earlier outcomes. The model, a worked two-qubit example, and what it demands of real hardware.
Projects & Infrastructure / News
IBM, Oak Ridge National Laboratory and AMD have opened a testbed in Poughkeepsie, New York, that connects IBM's 120-qubit Nighthawk processor to an AMD-based supercomputer for real-time error-correction research. No performance figures have yet been published.
Discoveries / News
An Alice & Bob preprint estimates that 22,593 cat qubits could factor a 2048-bit RSA key in about three days, roughly 40 times fewer qubits than the previous best estimate. The figure assumes bit-flip lifetimes far beyond any yet measured.
Companies / News
Intel has agreed to acquire Classiq, the Tel Aviv quantum software company, in a deal expected to close in the first half of 2027. The acquisition is a commercial bet on software rather than a technical milestone for Intel's silicon spin qubits.
Discoveries / News
Quantinuum reports that its Helios trapped-ion computer held a color-code logical qubit at about five errors per million operations, with errors falling roughly twelvefold per increase in code distance. The result covers one logical qubit and has not been peer reviewed.
Government & Policy / News
The US Department of War has announced about $350 million for quantum computing: roughly $200 million tied to DARPA's Quantum Benchmarking Initiative and a $150 million conditional loan to PsiQuantum. Four companies have advanced to the programme's final evaluation stage.
Discoveries / Explainer
OpenAI says its models have proved that four-dimensional quantum Yang–Mills theory exists, one half of a Millennium Prize Problem; the mass gap is not claimed. The 1,147-page proof has not been released and is being checked by a committee chaired by David Gross.
Government & Policy / News
A state-commissioned study ranks New York second to California in quantum companies, research groups and patents, alongside $360 million in state commitments. Its $2.3 billion to $5 billion economic estimate is a projection prepared under state contract.
Projects & Infrastructure / Explainer
Protecting data against future quantum computers depends on replacing the public-key mathematics in today's systems, not on quantum hardware. NIST approved its first three post-quantum standards in August 2024, and the migration has begun.
Government & Policy / Explainer
India's National Quantum Mission has ₹6,003.65 crore sanctioned for 2023–24 to 2030–31 across computing, communication, sensing and metrology, and materials and devices. How the programme is organised, and how to assess its progress.
Discoveries / Explainer
Qubit counts say little about whether a quantum computer can do useful work. Six questions on error rates, error-correction scaling, classical competition and practical requirements separate genuine progress from headline figures, and are applied here to two recent results.