Quantum Research Center / News

Quantum News

Summaries of reported results in quantum science, each with the source it rests on and the scope the source states.

Discoveries / Explainer

A claimed refutation of the Exponential Time Hypothesis

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.

15 min read

Read the article

Latest

News

All news ↗

Projects & Infrastructure / News

IBM, Oak Ridge and AMD open a shared testbed for quantum error correction

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.

3 min read

Discoveries / News

Alice & Bob estimates 22,593 cat qubits could break RSA-2048

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.

4 min read

Companies / News

Intel agrees to buy quantum software company Classiq

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.

3 min read

Background

Explainers

All explainers ↗

Discoveries / Explainer

AI-built proof claims to settle the Aaronson–Ambainis conjecture

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.

14 min read

Discoveries / Explainer

How can measurements drive a quantum computer?

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.

4 min read

Discoveries / Explainer

OpenAI claims a proof that Yang–Mills theory exists

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.

13 min read

Sections

Education, research, and topic maps

Quantum conferences ↗

01 / EducationCourses and experiments ↗

Course texts, worked examples, and interactive experiments.

02 / ResearchResearch questions ↗

Questions developed as models, calculations, and open problems.

03 / MapsTopic maps ↗

Quantum topics arranged from broad areas to narrower ones.

Papers

Recently selected papers

All selected papers ↗

Technical summaries, methods, and limitations for researchers and advanced readers.

  1. Research paper · Selected 8 November 2026

    Certifying the Rydberg-exposure limit of a globally driven controlled-Z gate

    Neutral-atom CZ gates excite atoms to Rydberg states, and decay from those states is a leading source of gate error and atom loss, with loss probability about \Gamma T_R for average Rydberg time T_R. Can pulse shaping and longer gates make the exposure C=\Omega_{\max}T_R arbitrarily small when one global laser drives both atoms, with perfect blockade? Numerical optimal control had reached C\approx2.936, but no lower bound valid for all pulses existed.

  2. Research paper · Selected 8 November 2026

    Efficient Pauli truncation from operator stabilizer Rényi entropy

    Classical simulation by Pauli propagation evolves an observable in the Heisenberg picture and keeps only its \chi largest Pauli coefficients. The operator stabilizer Rényi entropy (OSE) M^{(\alpha)}, the Rényi entropy of the squared Pauli coefficients, measures how spread out those coefficients are. For which Rényi indices does slow OSE growth guarantee that polynomially many terms give accurate expectation values for every input state, and when does fast growth rule it out?

  3. Research paper · Selected 8 November 2026

    Non-unitary quantum butterfly effect: theory and experiment

    Out-of-time-order correlators (OTOCs) measure how a local perturbation spreads through a many-body system, and in random unitary circuits they show a ballistic front behind which the signal saturates. Mid-circuit measurements are now routine, but how far and for how long an unread measurement disturbs the rest of a register is poorly characterised. What does the OTOC do when the evolution itself is non-unitary?