何が起きたか
- 「Nature」は2026年11月9日、数学者のSteven StrogatzとAlex Townsendによる『Big Math: The Hidden Codes That Run Our World』（Little, Brown、2026年）の書評を掲載した。評者は『Why Machines Learn』の著者Anil Ananthaswamyだ。
- 本は、ほとんど知られていない数学、彼らの言う「big math」が、人々の働き方、遊び方、学び方、買い物、移動、コミュニケーション、そして病気の治し方を変える技術を支えていると論じる。
- 冒頭に登場するのは、乳がんを患い、2014年に治療を終えたのち、早期の兆候を見つけるツールをつくろうと決めたコンピューター科学者のRegina Barzilayだ。
- Barzilayは放射線科医やほかの科学者とともに、1枚のマンモグラフィーから5年以内の乳がんリスクを予測する機械学習モデルを開発した。
なぜ重要か
書評が出たのは、記事のキャプションによれば、AIツールが数学と物理学の、何年も未解決だった問題をいくつも解いた年だ。それらのシステムの下にあるものを理解することは、システムに何ができて何ができないかを判断する助けになる。
著者らは、数学を「居心地のよい、とっつきやすい」ものにするつもりはないと断っているが、本は数式が少なく、Strogatzのほかの著作より読みやすい。数学の素養がないままAIモデルを扱う人にとって、橋渡しになる。
数字で見る
数千億から数兆個の数。書評によると、生成AIの中核で掛け合わされる行列の大きさだ。「行列」（matrix）という語は19世紀にJames Joseph Sylvesterが作った。彼は行列を「母」、つまりほかの数学的対象を生み出す存在として思い描いていた。
背景
本は歴史上の例を順にたどる。そのひとつが中国の数学者たちだ。彼らは会計の問題を解いて、もみ殻がついたままの束から得られる食用の米の量を見積もった。行列とベクトルで表される連立一次方程式で、今日のAIを支える数学だが、当時は竹の棒を動かして解いていた。
もうひとつは、Leon Festingerが1949年に示した考えだ。行列にベクトルを繰り返し掛けると、ソーシャルネットワークに隠れた構造が見えてくる。この方法は後に、影響力の測定やクラスターの検出に使われた。ボードゲームの「蛇と梯子」（Snakes and Ladders）も登場し、マルコフ連鎖を説明する。これはGoogleの初期の検索アルゴリズムの一部で、次の状態は現在の状態だけで決まる。
Mamíferoはこの交差を追ってきた。Axiomがエージェントで7654ページのStacks Projectを検証、AI支援の証明が量子優位性に関する2008年の問題を解決、IBMとリスボンがLLMでゼオライト合成のレシピを手順に変換、検索の各ステップに報酬を与えるとエージェントの信頼性が高まる、といった記事を掲載した。
今後
- 書評は新たな結果を発表していない。読書案内だ。残るのは、機械がどこまで数学的な創造性を担えるのかという問いだ。
- Natureには、AIが数学と物理学の発見をどう変えつつあるかを扱うシリーズがあり、書評自体からリンクされている。
- さらに深く知りたい読者は、1939年にバークレーの学生で、統計学の授業に遅刻したGeorge Dantzigの話を、本の中で読める。
まとめ
AIを動かす数学は、根っこでは何世紀もの歴史をもつ線形代数だ。本は、現在の進歩を断絶ではなく、その流れのもうひとつの段階として読むことを提案している。
出典
- Nature（Anil Ananthaswamy）、「AI has transformed maths — this is how we got here」、書評、2026年11月9日、DOI 10.1038/d41586-026-03627-6、リンク。
- カバー画像：MathKnight ✡ (Talk) No machine-readable author provided. MathKnight as、CC BY 2.5、Wikimedia Commonsより
編集：Rodrigo Cornejo。選定と検証の方法：ノートを書いているのは誰か。
