世界を動かす技術を、日本語で。

17歳のハンナ・カイロが大きな数学の謎を解決した

概要

  • 17歳のHannah Cairoが、Berkeleyの大学院数学講義に参加し、40年越しのMizohata-Takeuchi予想を反証
  • 彼女はバハマでホームスクーリングを受け、独学で高度な数学を習得
  • Berkeley Math Circleやオンラインプログラムで才能を磨く
  • Fourier制限理論の授業で出された課題から、予想の反例を構築
  • 数学界に大きな衝撃と新たな才能の登場をもたらした出来事

17歳の天才、40年越しの数学予想を覆す

  • Hannah Cairo は、ホームスクーリングに閉塞感を感じ、大学院レベルの数学講義への参加をBerkeleyに直訴
  • 2024年2月、 Mizohata-Takeuchi予想 の反例を発表し、数学界を驚愕させる
  • この予想は 関数の振る舞い に関するもので、40年間未解決だった難問
  • University of Birminghamの Itamar Oliveira など、多くの研究者が正しいと信じていた予想を覆す
  • Cairoの成果は、数学界の直感や常識を揺るがすもの

独学と孤独から生まれた才能

  • バハマ・ナッソーで育ち、 Khan Academy 等のオンライン教材で数学を独学
  • 11歳で微積分を修了し、 Wellesley CollegeClark University の教授からリモート指導を受ける
  • 14歳までに 学部上級レベルの数学 を独学で修得
  • ホームスクーリングの閉塞感や孤独を、数学という「無限の世界」で解消
  • 2021年、家族でシカゴに滞在中に Math Circles of Chicago へ参加、数学仲間と出会う

Berkeley Math Circleでの飛躍

  • オンライン夏期プログラム Berkeley Math Circle に14歳で応募、独学した内容は大学上級レベル
  • 創設者 Zvezdelina Stankova から「常に数段階上のレベル」と評される
  • 自分の才能に無自覚で、ピアノや数学の能力を「普通」と感じていた

大学進学とBerkeleyでの挑戦

  • 2023年、大学進学を模索するも、多くの大学からは高校未卒で不合格
  • UC Davis に合格するが、Stankovaの助言で Berkeleyの大学院講義 に並行受講生として参加
  • 家族でDavisからBerkeleyへ転居し、徐々に友人も増え、数学以外の社会経験も積む

Fourier制限理論との出会い

  • 2024年度、 Fourier制限理論 の大学院講義を履修
  • 教授 Ruixiang Zhang は、IMO金メダルやPrinceton博士号など伝統的な経歴
  • CairoはZhangにメールで受講許可を得て、数週間でMizohata-Takeuchi予想の簡易版課題に取り組む

反例発見と数学界への衝撃

  • 課題の発展問題として、予想のより複雑な場合を検討
  • Fourier解析 で波の周波数が特定の曲面上に制限された関数の振る舞いを研究
  • 既存の手法では解決できなかった問題に対し、Cairoは独自の関数構成で反例を発見
  • 予想された「エネルギーの広がり方」に反する関数を構築し、予想を否定
  • 数学界の直感や長年の努力を覆す成果

その後の進路と評価

  • Cairoは大学進学を飛ばし、 University of Maryland で博士課程を開始予定
  • 謙虚で控えめな性格ながら、世界中の数学者から注目と賞賛を集める
  • 彼女の成果は、数学界に新たな才能と希望をもたらす出来事

関連リンク

Hackerたちの意見

以前の議論: https://news.ycombinator.com/item?id=44481441 彼女のこれからのキャリアがうまくいくことを願ってるよ。

ありがとう!マクロ展開すると、17歳のティーンが40年前に提唱された数学の予想を否定したって話 - https://news.ycombinator.com/item?id=44481441 - 2025年7月(コメント105件)

ダイクストラの弟子として、現代のツールのおかげで形式的検証が少しずつ進んでいるのを見てきたし、Lean(やAgda、Coq、Idris*など)のフォロワーとして、少なくとも証明の一部をコードで検証可能な形で提供する努力ができることを願ってる。機械で検証可能なビルディングブロックが増えれば、すべてがより良くなるはず。

トピックはずれるけど、僕もハンナ・カイロと同じ17歳なんだ。でも今のところ特に画期的なことはないかな。それでも、ダイクストラの弟子と話せるのがすごく嬉しい。ダイクストラのアルゴリズムについてはたくさん聞いたことがあって、忘れてたから今調べたんだけど、人気のあるアルゴリズムだってことしか知らなかった。もしよかったら、あなたが教えてくれる最大の人生の教訓(コーディングでも、一般的なことでも)って何かな?

「ある意味、どうしても同じことの繰り返しだった。何をしても、同じ場所でほとんど同じことをしているだけだった」と彼女は言った。「とても孤立していて、何をしてもそれを変えることはできなかった。ある日目が覚めて、ただ年を取っただけだと気づくこともあった。」数学の天才と共通点ができた気がする。

彼女がファクトリオじゃなくて数学を見つけてくれてよかった!

ちょっと辛口かも… ホームスクーリングの同質性のポイントは分かるけど、伝統的な教育と比べるとどうなんだろう?11歳で微積分を自分で教える柔軟性がどれくらいあるのか、14歳で大学レベルの数学を学ぶのは難しいんじゃないかな!その柔軟性は非伝統的な何かに見出されるはず!私は全然天才じゃないけど、学校はほとんど退屈で、ティーンエイジャーのドラマでいっぱいだった!誰もLinuxが何か知らなかったし、音楽制作や面白いことに興味を持ってる人もいなかった!話題はどの男の子/女の子がどうとかそんな感じだったよ。

arxivにある論文へのリンクはこちら: https://arxiv.org/abs/2502.06137

  • 国を移動したり、第一世代・第二世代の移民?チェック - ホームスクーリング?チェック それに加えて、彼女の並外れた才能と努力がある。制度的な教育は、本当にトップとボトムの両方で大きな平等をもたらすね。

国を移動したり、第一世代・第二世代の移民なの? 「カイロはバハマのナッソーで育ち、父親がソフトウェア開発者として仕事をするために引っ越した」 「旅行制限で彼女の家族はシカゴの祖父母の家に足止めされた。その間、彼女はシカゴの数学サークルに参加した」 これは移民の話には聞こえないね。むしろ彼女の父親はアメリカのファイナンス系の開発者みたいだ。

ソ連の数学サークルのアイデアがすごく面白くて重要だと思う。関連の本も買ったけど、自分の子供にだけ実践するのは難しい。実際に数学の先生が運営しているサークルが自分の街にあるのが一番だね。

カーンアカデミーが彼女の初期教育に役立ったのは素晴らしいことだね。数学の能力の幅広い層に対して、しっかりしたリソースになってるみたい。

彼女のノートはすごく分かりやすくて、芸術的に作られてるね!オンラインリソースから学ぶと、自然とプレゼンテーションに気を使うようになるのかな。記事からの引用:

ミス・カイロについてコメントしているズヴェズダリナ・スタンコバは、ほんとに普通じゃない人だね。彼女はブルガリアで共産主義から民主主義への激動の時代に育ち、ハーバードで博士号を取得した後、バークレー数学サークルのディレクター兼創設者になり、ベイエリアで数学コンペを主催したり、ブルガリアの仲間たちと一緒に作り上げた数学書の完全セットを出版したりしてる。ミス・カイロは彼女の生徒だったのか、これからなるのか気になるな。

驚くべき話だし、驚くべきティーンエイジャーだね。それに、写真の中の手書きのスライドがすごくいい!