Mathematician Gil Kalai has spent over two decades developing mathematical arguments that quantum computers may never work as promised, even as the industry celebrates breakthrough after breakthrough. His skepticism isn't rooted in pessimism but in rigorous complexity theory and noise analysis. Now, with billions of dollars invested globally and companies racing toward practical quantum systems, Kalai's theories are finally being tested experimentally, forcing the field to confront uncomfortable questions about what progress actually means.

What Makes Kalai's Quantum Computing Skepticism Different?

Kalai, a retired professor from the Hebrew University of Jerusalem now at Reichman University in Herzliya, didn't start out focused on quantum computing. His journey began in 2005 when he realized his earlier work on noise sensitivity and noise stability might apply to quantum systems. A lecture by physicist Michel Devoret at Yale titled "Quantum Computers, Mirage or Dream" sparked his curiosity, though Kalai decided to approach the question from a skeptical angle rather than the enthusiastic perspective dominating the field .

Over nearly two decades, Kalai developed two distinct mathematical arguments against scalable quantum computing. The first focuses on the nature of noise itself, while the second uses computational complexity theory to argue that even intermediate-scale quantum devices cannot achieve quantum supremacy without error correction. These aren't casual doubts; they're formal conjectures that can be tested experimentally .

How Do Kalai's Two Main Arguments Work?

Kalai's theoretical framework rests on two pillars that challenge different aspects of quantum computing development:

• Correlated Noise Hypothesis: Kalai proposes that errors in quantum systems aren't random but correlated, particularly in entangled pairs of qubits. If true, this would undermine quantum error correction, the fundamental technique needed to scale quantum computers from dozens of qubits to millions. Standard error correction assumes errors are independent; correlated errors could defeat the entire approach.
• Complexity-Based Limits on NISQ Devices: NISQ stands for Noisy Intermediate-Scale Quantum, referring to today's quantum computers with 50 to 1,000 qubits. Kalai developed a computational complexity argument, initially with mathematician Guy Kindler, showing that these devices cannot achieve quantum supremacy (the ability to solve problems faster than classical computers) without first implementing error correction. This contradicts the industry's assumption that quantum advantage is possible before fault-tolerant systems exist.
• Experimental Testability: Unlike purely philosophical critiques, Kalai's conjectures are designed to be falsifiable. Recent advances in quantum hardware have made it possible to test these predictions directly, creating a rare opportunity for theory and experiment to collide head-on.

Kalai explained his motivation clearly: "I thought maybe it's a good idea to look at it from a skeptical direction." His skepticism isn't about whether quantum mechanics works; it's about whether the engineering challenges of building scalable quantum computers are solvable with current approaches .

Kalai

What Do Recent Quantum Breakthroughs Mean for Kalai's Theory?

The tension between Kalai's predictions and recent experimental results has become impossible to ignore. Google's 2019 random circuit sampling experiment, which claimed to demonstrate quantum supremacy, directly contradicts Kalai's complexity-based argument. If quantum supremacy is achievable with noisy, intermediate-scale devices, then his second conjecture is wrong .

However, Kalai has responded by launching a third line of research: carefully scrutinizing the experimental claims themselves. He argues that the evidence for quantum supremacy may not be as conclusive as headlines suggest, and that rigorous verification is essential before declaring victory. This shift reflects a sophisticated position: rather than dismissing experimental progress outright, Kalai is demanding that the field meet higher standards of proof .

Recent error correction demonstrations also complicate the picture. These experiments show that quantum error rates can be reduced by adding more qubits, a key requirement for fault-tolerant quantum computing. Yet Kalai notes that these results "are not strong enough so far to refute my theory," suggesting that the current evidence, while encouraging, doesn't definitively prove his conjectures wrong .

Yet Kalai

How Should the Quantum Computing Community Respond?

Kalai's approach offers a model for scientific rigor in a field prone to hype. Rather than declaring quantum computing either a certain success or inevitable failure, he proposes a middle path: systematic experimental testing of specific, falsifiable predictions. This requires the community to move beyond press releases and carefully examine whether claimed breakthroughs meet rigorous standards .

The stakes are enormous. Private investment in quantum computing exceeded thirty billion dollars in the decade leading to 2024, with government programs in the United States, China, the European Union, and other nations committing comparable sums. Companies like IBM, Google, Microsoft, IonQ, and others have staked their reputations and billions of dollars on the assumption that quantum computers will eventually work .

Kalai's position is notable for its intellectual humility. He acknowledges that his conjectures are "fairly speculative" and that they "should not change people's a priori belief" about quantum computing without experimental evidence. At the same time, he expresses satisfaction that "humanity spent billions of dollars to test my theory," suggesting that even if he's wrong, the investment in rigorous testing will advance scientific understanding .

The conversation between Kalai and quantum computing researchers like Scott Aaronson, who frequently cites Kalai's work in presentations, reflects a healthy scientific debate. Each new quantum breakthrough is evaluated not just as progress toward practical quantum computers, but as evidence for or against specific theoretical predictions. This approach transforms quantum computing from a narrative of inevitable progress into a genuine scientific question with uncertain answers.

As the field moves forward, Kalai's skepticism serves an important function: it forces researchers to distinguish between genuine breakthroughs and incremental improvements dressed up as milestones. Whether his mathematical arguments ultimately prove correct or incorrect, his insistence on rigorous experimental verification and careful interpretation of results represents the kind of critical thinking that science requires.