17-Year-Old Hannah Cairo Disproves the 40-Year-Old Mizohata-Takeuchi Conjecture
On February 10, 2025 at 3:55 a.m., a single-author paper appeared on arXiv: *A Counterexample to the Mizohata-Takeuchi Conjecture*. Its author was Hannah Cairo, a 17-year-old self-taught mathematician living in a beach house in Nassau, Bahamas — no high school diploma, no undergraduate degree. She had just disproved a 40-year-old conjecture in harmonic analysis that the entire field had believed true.
Key Points
A child outside every institutional system
- Cairo grew up home-schooled with two brothers; her father is a software developer.
- Her first math course was Khan Academy; she finished calculus by age 11.
- Remote mentors Martin Magid (Wellesley) and Amir Aazaim (Clark) later guided her. Aazaim recalled: *"I felt bad charging her, because I wasn't teaching her — she was reading and proving theorems on her own."*
- In 2022, at 14, she applied to the Berkeley Math Circle summer program with coursework equivalent to advanced undergraduate math.
- In fall 2023 she began graduate-level courses at Berkeley; her family relocated from the Bahamas to Davis and then Berkeley so she could attend in person.
- In the 2024–2025 academic year, Cairo took Ruixiang Zhang's Fourier restriction theory course (Zhang: 2008 IMO gold medalist, Princeton PhD, IAS postdoc).
- Zhang assigned a simplified version of the Mizohata-Takeuchi conjecture as homework. Cairo completed it — then kept thinking: *"Why should I stop?"*
- She constructed a function built from waves whose frequencies lie on a surface. Contrary to the conjecture's prediction, the waves do not cancel; their energy concentrates in a fractal, self-similar pattern resembling a Koch snowflake.
- A revised version followed 21 days later.
- Harmonic analysis studies how complex functions decompose into simple waves (the Fourier legacy, foundational to telecom and MRI).
- The conjecture asks: if a function's frequencies lie on a surface (e.g., a sphere), how may its energy distribute?
- Analogy: a strange-shaped room with partial acoustic absorption — energy cannot be packed into arbitrarily small regions.
- The conjecture was considered a plausible path toward proving the broader Stein conjecture, a central hub of harmonic analysis.
- Researchers such as Anthony Carbery (Edinburgh) spent 40 years on the problem; Oliveira (Birmingham) spent two years attempting to prove it.
- Cairo's counterexample does not merely negate one proposition; it severs a network of expected connections.
- Because Mizohata-Takeuchi was a corollary of the Stein conjecture, disproving it means the Stein conjecture is also false.
- Carbery: *"I was completely blown away. When I learned she was even younger than I had imagined, I was even more impressed. The paper is extraordinarily elegant."*
- Oliveira: *"From now on, whenever we encounter similar problems, we'll test Cairo-type constructions."*
- Terence Tao shared the paper on mathstodon.
- Cairo's original counterexample was complex; she later discovered a much simpler construction that worked just as well.
- The simplification was not functional — the original already refuted the conjecture — but was driven by a sense of mathematical beauty.
- Oliveira called the paper *"a paragon of elegance — natural, concise, and right on target."*
- Cairo applied to 10 PhD programs, skipping undergraduate study entirely.
- 6 rejected her for lacking a bachelor's degree; 2 initially admitted her but were overruled by administration.
- Only the University of Maryland and Johns Hopkins accepted her; she will begin a PhD at Maryland. The doctorate will be her first degree.
- In July 2026, Anthropic's Claude Fable 5 reportedly refuted the 1939 Jacobian conjecture via brute-force search over millions of combinations.
- IBM commentary: *"It's not that AI is smarter than humans; it's that AI tried more things."*
- Cairo's approach is methodologically opposite: constructive intuition and aesthetic simplification, not search.
- An AI does not ask *"Why should I stop?"*; it stops when the reward signal stops. Cairo was driven by naive curiosity — the problem was still there, so why stop?
- An AI also does not voluntarily simplify; its goal is to find something that *works*. Cairo's goal was to find something *elegant* — an aesthetic criterion that cannot be encoded in a reward function.
- Proving a conjecture confirms an expected link; disproving one reveals that a hoped-for structure does not exist — a more informative outcome.
- Cairo: *"Math is another world I can explore. A world with no limits, where I can enter at any time just by thinking."*
- Her counterexample hands the harmonic-analysis community a more accurate, if emptier, map.
- Quanta Magazine: At 17, Hannah Cairo Solved a Major Math Mystery
- arXiv:2502.06137: A Counterexample to the Mizohata-Takeuchi Conjecture
- IBM Think: AI cracked the conjecture. Humans called the play.
- Terence Tao discussion on mathstodon