← Observatory › The Record › FR-QE-0006
PROG-QE
FR-QE-0006

Fault-Tolerant Quantum Utility — Practically Useful Algorithms Beyond Classical Simulation

A fault-tolerant quantum computer can execute a practically useful quantum algorithm beyond classical simulation.

EscalatingVS-02·Assessed 2026-09-16

Evidence is materially increasing confidence in—or pressure on—the claim; significant uncertainty remains. State definitions

Where the record stands

Assessed 2026-09-16
Current assessmentEscalating
Evidence since assessment

No evidence has been admitted since this assessment.

Questions on recordView 3 retained questions →

Retained questions may have been narrowed or reframed by the current assessment.

Assessment history
EscalatingPressure State unchanged · latest assessment 2026-09-16
Verification Matrix

Verification position derived from the record’s assessments; dates show when Faultline first recorded each stage.

VS-01
Assertion
—
VS-02
Published evidence
Current from 2024-01-15 — present
VS-03
Audit
—
VS-04
Replication
—
VS-05
Operation
—
Stage first recorded Current verification position Not yet recorded
State Warrant
Current stateEscalatingVS-02
Current assessmentIN-007 adds a system-level bridge between present processor capability and recognised utility-scale workloads. QUOPS experimentally benchmarks physical processors and a small fault-tolerant logical processor, then translates FeMoco and RSA-2048 resource estimates into the same circuit-capability framework. For this record, the important result is that the FeMoco-class target remains roughly five orders of magnitude beyond present measured circuit-size capability despite measurable logical-computation progress. This strengthens the evidence that the engineering path can be measured coherently while simultaneously showing that practical utility has not been reached. The claim remains unsatisfied; Pressure State remains ESCALATING and Verification Stage remains VS-02.
Assessment contextNormal Record Review of Proctor et al., arXiv:2609.12146. QUOPS is admitted as supportive gap-measurement evidence, not as a utility demonstration. Its application translations and future projections remain model-dependent and peer review is pending.

Normal Record Review is the Observatory’s assessment process for newly considered evidence, not external scientific peer review. LPR identifies an internal source-review record. PROG identifies a programme: AI (Artificial Intelligence), AM (Advanced Materials), BT (Biotechnology), or QE (Quantum Engineering).

State entered2024-01-15
Latest assessment2026-09-16
Mechanisms and barriers

How the claim could hold, what obstructs it, and possible ways forward. The State Warrant above remains the authoritative current assessment.

Resistance MechanismRM-001

Classical comparison methods improve alongside quantum hardware. A claim of utility must be tested against the best classical method available for the specific problem at the time. QUOPS adds a system-level quantum capability measure but does not remove the need for an application-specific classical comparator.

BottleneckBN-001

No demonstrated end-to-end fault-tolerant application at useful scale. Candidate chemistry problems such as FeMoco have concrete but architecture-dependent resource estimates. QUOPS now provides a common circuit-capability framework linking measured processors to such targets, but its FeMoco translation still places the target roughly five orders of magnitude beyond present measured circuit-size capability. Claim satisfaction requires a useful problem, a fault-tolerant implementation at required scale and depth, and a contemporaneous best-classical comparator.

AttractorAT-001

A recorded possible resolution path, not automatically a sufficient test for closing the claim.

First end-to-end fault-tolerant computation on a practically useful problem that remains beyond the best classical method under a transparent contemporaneous comparison. FeMoco-class chemistry is one candidate. QUOPS can provide an additional system-level capability measure on the route to this event, but no benchmark score or fixed logical-qubit count is itself sufficient: the decisive event remains useful computation plus durable classical separation.

Assessment History

Assessments on the same date follow their assessment ID order. An evidence-basis correction and a review of new evidence can be separate events.

2024-01-15
AS-001 · Initial assessment — Escalating
The claim has not been satisfied. No fault-tolerant quantum computer has executed a practically useful quantum algorithm beyond classical simulation at the scale required for genuine practical advantage. The substrate progress (INST-003) establishes that fault-tolerant logical qubits capable of executing simple circuits now exist; the resource estimation (INST-004) establishes a large application-scale gap. Classical simulation methods are simultaneously improving. The pressure state is ESCALATING: the substrate is advancing on a credible path, but no agreed target problem yet exists.
AS-001 stage: VS-02 preserved — historically unverified.
2026-08-17
AS-002 · Assessment updated; Pressure State and Verification Stage unchanged — Escalating
The claim remains unsatisfied and ESCALATING. IN-006 advances the fault-tolerant substrate beyond protected logical memory by demonstrating composed logical Clifford operations through lattice surgery on a superconducting surface-code processor. That is a real engineering advance, but it does not cross this record's load-bearing boundary: the demonstration is Clifford-only, uses distance-three codes, supplies no practically useful target problem, and does not establish execution beyond the best classical simulation.
Issued during OHR-2026-09 catch-up review to close the evidence-assessment gap created by IN-006.
2026-09-16
AS-003 · Assessment updated; Pressure State and Verification Stage unchanged — Escalating
LPR-001-D18 corrected the provenance and representation of IN-001 through IN-005 without altering the underlying claim. The corrected evidence continues to support ESCALATING / VS-02: the engineering path is credible and advancing, but no fault-tolerant system has executed a practically useful algorithm beyond the best classical simulation.
Corrective assessment issued after LPR-001-D18. It supersedes provenance-dependent historical characterisations without rewriting their append-only text.
2026-09-16
AS-004 · Assessment updated; Pressure State and Verification Stage unchanged — Escalating
IN-007 adds a system-level bridge between present processor capability and recognised utility-scale workloads. QUOPS experimentally benchmarks physical processors and a small fault-tolerant logical processor, then translates FeMoco and RSA-2048 resource estimates into the same circuit-capability framework. For this record, the important result is that the FeMoco-class target remains roughly five orders of magnitude beyond present measured circuit-size capability despite measurable logical-computation progress. This strengthens the evidence that the engineering path can be measured coherently while simultaneously showing that practical utility has not been reached. The claim remains unsatisfied; Pressure State remains ESCALATING and Verification Stage remains VS-02.
Normal Record Review of Proctor et al., arXiv:2609.12146. QUOPS is admitted as supportive gap-measurement evidence, not as a utility demonstration. Its application translations and future projections remain model-dependent and peer review is pending.
Claim Lineage

Historical narrative recorded for this claim. It does not override the current State Warrant.

1994–2009
Shor, Grover and HHL establish important theoretical quantum speedups under problem-specific assumptions; practical utility remains contingent on implementation and end-to-end resource costs.
2020–21
Lee et al. quantify a representative FeMoco fault-tolerant workload at 2,142 logical qubits and billions of Toffoli gates, illustrating the application-scale resource gap without defining a universal threshold.
2023–24
IBM's pre-fault-tolerant utility experiment is followed by stronger classical tensor-network simulation, demonstrating that the beyond-classical comparison boundary can move.
2024–25
Small-scale logical error suppression strengthens the fault-tolerant substrate, but does not demonstrate a useful algorithm or a generic logical-gate error/depth threshold.
2026
Composed logical operations advance the active fault-tolerant substrate. QUOPS then supplies a common system-level benchmark spanning physical processors, a small logical processor and utility-scale challenge translations; its FeMoco mapping places present measured circuit-size capability about five orders of magnitude below the target.
Questions on record

Questions retained in this record. The current State Warrant may have narrowed or reframed them. Recorded dates refer to question history, not necessarily the age of the current wording; known revision dates are shown separately.

OQ-001

Which specific molecular or physical system will provide the first unambiguous fault-tolerant quantum advantage? Whether the first advantage demonstration will be accepted as practically useful depends on the problem solved and the contemporaneous classical comparator.

Question recorded 2024-01-15
OQ-002

Does the PROG-QE diagnosis — technically coherent but temporally displaced — create investment sustainability risk? If investment cycles shorten before applications arrive, the substrate may stop advancing before the claim is satisfied.

Question recorded 2024-01-15
OQ-003

Are the programme diagnosis types a property of the domains, or of the specific claim configurations the Observatory selected?

Question recorded 2024-01-15
Mutation Log
MutationDateFieldPrior valueCurrent value
M-0162026-10-19Reference correctionreference_correctedShared citations not explained in the evidence listSource-specific reciprocal notices on IN-005
What this update recorded for M-016

Operator-authorised corpus reading audit Step 5A / R04. Label exact shared publications/reports after checking their evidential roles. Shared reporting does not by itself determine experimental independence. No sources, scientific wording, vectors, counts, assessments, states, stages, dates, review markers or prior mutations changed. Scope, primary-source ledger and exact field receipt: docs/reviews/SHARED-SOURCE-LABELS-STEP-5A-2026-10-19.md and companion .json.

M-0152026-10-12Source reviewprovenance_reviewLPR-001-D18LPR-001-D49
What this update recorded for M-015

Second-cycle Legacy Provenance Review completed as PASS across all seven existing evidence instances. Underlying sources and claim representation verified; existing structured provenance is sufficient and no unverifiable attribution was introduced. No factual, interpretive, attribution, or verification-stage discrepancy identified. No genuinely new scientific evidence admitted or flagged for Normal Record Review. Canonical outcome verified / not_required; Pressure State and Verification Stage unchanged.

M-0142026-09-16Record reviewrecord_reviewLPR-001-D18 Record Review candidateIN-007 / AS-004
What this update recorded for M-014

Normal Record Review admitted Proctor et al. QUOPS (arXiv:2609.12146) as supportive system-level gap-measurement evidence. Added IN-007 and AS-004 and updated current mechanisms and lineage to recognise the benchmark while preserving the application-specific classical-comparator requirement. QUOPS measures present physical and small logical processors and maps recognised challenge workloads into the same capability framework; its FeMoco translation remains about five orders of magnitude beyond present measured circuit-size capability. It does not demonstrate practical quantum advantage. ESCALATING / VS-02 reaffirmed. LPR-001-D18 remains completed.

M-0132026-09-16Provenance correctedprovenance_correctedLPR-001-D18 discrepanciesPASS-AFTER-CORRECTION
What this update recorded for M-013

LPR-001-D18 bounded correction: repaired IN-001 through IN-005, added confidently established structured provenance, corrected dependent mechanisms and lineage, and appended AS-003. IN-006 retained as verified. QUOPS remained a separate Normal Record Review candidate. Pressure State remains ESCALATING; Verification Stage remains VS-02.

M-0122026-09-16Source reviewprovenance_review—LPR-001-D18 REVIEW REQUIRED
What this update recorded for M-012

LPR-001-D18 audited all six evidence instances. IN-006 was source-verified and provenance-enriched. IN-001 through IN-005 required bounded correction. QUOPS surfaced as a Normal Record Review candidate.

M-0112026-09-06Description restoreddescription_restoredLegacy ingestion cutoffsSource-restored complete descriptions
What this update recorded for M-011

Editorial Correction (GP-001), RENDER-PILOT-001 content restoration. Existing later corrections retained; no evidence or assessment status changed.

M-0102026-08-17Assessment issuedassessment_issuedAS-001AS-002
What this update recorded for M-010

AS-002 issued during OHR-2026-09 catch-up review to close the evidence-assessment gap created by IN-006. Pressure State remains ESCALATING; Verification Stage remains VS-02.

M-0092026-07-14Instance appendedinstance_appended—IN-006
What this update recorded for M-009

IN-006 appended — composed logical Clifford operations via lattice surgery (arXiv:2607.01473).

M-0082026-07-08Reference correctionreference_corrected—REFERENCE-CORRECTED
What this update recorded for M-008

Editorial Correction (GP-001): stale PROG-MF identifier corrected to PROG-AM.

M-0072026-07-08Realization note addedrealization_note_added—REN-001
What this update recorded for M-007

Realization note added.

M-0062024-01-15Programme panel addedprogramme_panel_added—PROGRAMME-PANEL-ADDED
M-0052024-01-15Null condition failednull_condition_failed—NULL-CONDITION-FAILED
M-0042024-01-15Mechanisms recordedmechanisms_recorded—MECHANISMS-RECORDED
M-0032024-01-15Assessment issuedassessment_issued—ASSESSMENT-ISSUED
M-0022024-01-15Instances loggedinstances_logged—INSTANCES-LOGGED
M-0012024-01-15Record createdrecord_created—RECORD-CREATED
Evidence Sources
7 logged entriesShow sources ↓Hide ↑

Logged entries are reports on record, not counts of independent studies or patients. Several entries can concern the same underlying evidence. Supportive and Contesting describe an entry’s relation to the claim. Partial indicates limited or mixed bearing; read the details for limitations or legacy status. These labels are not study-quality ratings.

IN-001
Quantum algorithm portfolio — theoretical speedups established
Read evidence details and limits for IN-001

Foundational quantum algorithms establish that sufficiently capable quantum computers can offer asymptotic speedups for specified computational problems. Shor's 1994 algorithm gives polynomial-time quantum algorithms for integer factorisation and discrete logarithms; Grover's 1996 algorithm gives a quadratic query-complexity improvement for unstructured search; and Harrow, Hassidim and Lloyd's 2009 algorithm gives an exponential improvement in system size for preparing a state proportional to the solution of a sparse, well-conditioned linear system under restrictive input, conditioning and output assumptions. These are theoretical algorithmic results, not demonstrations of practical utility on fault-tolerant hardware, and their real-world advantage depends on end-to-end resource and data-access costs.

1. Shor, P. W. Algorithms for quantum computation: discrete logarithms and factoring. Proceedings of the 35th Annual Symposium on Foundations of Computer Science (1994). DOI 10.1109/SFCS.1994.365700 · Algorithm and complexity result2. Grover, L. K. A fast quantum mechanical algorithm for database search. Proceedings of STOC '96 (1996). DOI 10.1145/237814.237866 · Search algorithm and query complexity3. Harrow, A. W., Hassidim, A. & Lloyd, S. Quantum algorithm for linear systems of equations. Physical Review Letters 103, 150502 (2009). DOI 10.1103/PhysRevLett.103.150502 · Abstract and stated assumptions
Neutral
IN-002
IBM quantum-utility experiment — classical boundary subsequently contested

Shares the IBM experiment and Tindall classical-simulation sources with IN-005. That entry focuses on the classical comparison, rather than another independent quantum experiment. View IN-005

Read evidence details and limits for IN-002

Kim et al. report accurate expectation values from a noisy 127-qubit superconducting processor at circuit volumes beyond brute-force classical computation and in regimes where the particular classical approximations tested in the paper break down. The result was presented as evidence for pre-fault-tolerant quantum utility, not as a general proof that classical simulation could not match the calculation. Subsequent tensor-network work, including Tindall et al., reproduced the relevant regime classically with greater accuracy, demonstrating that the classical comparison boundary was not settled by the original experiment. This evidence is contextual to the present fault-tolerant claim: it shows why 'beyond classical simulation' must be tested against evolving best classical methods.

1. Kim, Y. et al. Evidence for the utility of quantum computing before fault tolerance. Nature 618, 500–505 (2023). DOI 10.1038/s41586-023-06096-3 · Abstract and classical-comparison discussion2. Tindall, J. et al. Efficient tensor network simulation of IBM's kicked Ising experiment. arXiv:2306.14887 (2023). · Abstract and simulation comparison
Partial
IN-003
Logical error suppression — fault-tolerant substrate advances without useful-algorithm demonstration
Read evidence details and limits for IN-003

Error-correction results tracked in FR-QE-0003 and FR-QE-0004 demonstrate material progress in the substrate required for fault-tolerant computation. Google's Willow work demonstrates below-threshold surface-code memories with logical error suppression as code distance increases, while Microsoft and Quantinuum reported four logical qubits with substantial circuit-level error suppression on trapped-ion hardware in 2024. These results do not establish a generic logical error rate below 10^-4 per gate, do not justify a general hundreds-to-thousands-of-gates executable-depth threshold, and do not demonstrate a practically useful fault-tolerant algorithm beyond classical simulation. They support the engineering path while leaving this record's application threshold unsatisfied.

1. Google Quantum AI and Collaborators. Quantum error correction below the surface code threshold. Nature 638, 920–926 (2025). DOI 10.1038/s41586-024-08449-y · Published online 9 December 2024; increasing-distance surface-code result2. Quantinuum and Microsoft. Breakthrough demonstration of reliable logical qubits. 3 April 2024. · Company announcement; four logical qubits and circuit-level error suppression
Supportive
IN-004
FeMoco resource estimate — application-scale fault tolerance remains demanding
Read evidence details and limits for IN-004

Lee et al. provide a concrete fault-tolerant resource estimate for quantum simulation of the FeMoco active space using tensor hypercontraction. Their 2020 preprint, published in 2021, estimates 2,142 logical qubits and approximately 5.3×10^9 Toffoli gates for a representative calculation; under a specified surface-code architecture and physical-error assumptions, the analysis gives a representative implementation using roughly four million physical qubits and a runtime of days. The result is an architecture- and algorithm-dependent resource estimate, not a generic 1,000–4,000-logical-qubit threshold, and 10^-3 is a physical-error assumption rather than a claimed logical-gate error requirement. It nevertheless quantifies the large gap between small-scale logical demonstrations and a prominent candidate application.

1. Lee, J. et al. Even more efficient quantum computations of chemistry through tensor hypercontraction. PRX Quantum 2, 030305 (2021). DOI 10.1103/PRXQuantum.2.030305 · FeMoco resource estimates and fault-tolerant implementation analysis
Partial
IN-005
Classical simulation improvement — comparison boundary moves

Shares the IBM experiment and Tindall classical-simulation sources with IN-002. This entry focuses on the changing classical comparison; the two entries are not two independent quantum experiments. View IN-002

Read evidence details and limits for IN-005

The classical comparison boundary relevant to quantum utility can move materially after a quantum result is published. The 2023 IBM kicked-Ising experiment provides a directly documented example: the original work identified a regime beyond brute-force computation and beyond the classical approximations it tested, while subsequent tensor-network work reproduced the relevant calculations classically with improved accuracy. This does not establish that every proposed chemistry or materials target will become classically tractable. It establishes the narrower resistance mechanism needed by this record: any future useful-quantum claim must be evaluated against the best classical method available at the time of comparison.

1. Kim, Y. et al. Evidence for the utility of quantum computing before fault tolerance. Nature 618, 500–505 (2023). DOI 10.1038/s41586-023-06096-3 · Original quantum experiment and tested classical approximations2. Tindall, J. et al. Efficient tensor network simulation of IBM's kicked Ising experiment. arXiv:2306.14887 (2023). · Classical tensor-network simulation result
Contesting
IN-006
Composed logical Clifford operations via lattice surgery on a superconducting surface-code processor
Read evidence details and limits for IN-006

A 107-qubit superconducting surface-code processor demonstrates composed logical Clifford operations — lattice-surgery merge/split, patch expansion and shrinkage, and logical CNOT, Hadamard, and phase gates — with multi-round syndrome extraction and neural-network decoding, without post-selection. This advances the fault-tolerant substrate but does not demonstrate a practically useful quantum algorithm beyond classical simulation: the demonstrated set is Clifford-only, the codes are distance-three, and the work supplies no target problem. No independent replication yet; peer review pending.

1. Lin, W. et al. Surface code logical operations on a superconducting quantum processor. arXiv:2607.01473 (2026). DOI 10.48550/arXiv.2607.01473 · Abstract; submitted 1 July 2026
Neutral
IN-007
QUOPS benchmark — measured computational capability mapped to utility-scale challenge workloads
Read evidence details and limits for IN-007

Proctor et al. introduce QUOPS, a cross-platform system-level benchmark of the largest computationally relevant universal circuits a processor can execute successfully and their execution rate. The authors measure QUOPS on physical processors from Quantinuum, Google and IBM and on a simple fault-tolerant logical processor using up to eight [[7,1,3]]-encoded logical qubits on Quantinuum Helios-1. Translating recognised challenge workloads into the same benchmark, they estimate a FeMoco workload at 1,459 logical qubits and approximately 10^9 Toffoli gates, corresponding to about 3.4×10^8 QUOPS, while present measured circuit-size capability remains about five orders of magnitude below utility-scale targets. The result is supportive as a quantified system-level map of the remaining utility gap, not a demonstration of practical quantum advantage. Challenge-workload conversions and future fault-tolerant projections depend on architecture, compilation and gate-decomposition assumptions, and the work is a preprint pending peer review.

1. Proctor, T. et al. Benchmarking the computational power of quantum computers. arXiv:2609.12146 (2026). DOI 10.48550/arXiv.2609.12146 · Abstract; QUOPS physical/logical measurements and challenge-problem resource translation; submitted 10 September 2026
Supportive