数学の翻訳家

多くの票を得た人が勝つ、という当たり前が三人以上の選挙では崩れます。1785年、コンドルセは一人ひとりの順位は筋が通っていても、全員で集めると堂々巡りになるパラドックスを見つけました。2026年、リブソンらの研究はこの堂々巡りが、表も裏もないクラインの壺の形をしていることを示しました。投票の方法は、どの弱点を諦めるかという価値観の選択でもあります。その選択は数学ではなく、私たちが決めることです。 ⑦ 参考記...

答えの出た問題を、数学者はなぜ何度も解き直すのか。素数が無限にあるというユークリッドの証明には今も約200通りの証明があります。オイラーの解き直しがリーマン予想の入口になり、重ねた証明がグルンヴァルト＝ワンの定理のように誤りを見つけることもあります。証明が増えるほど結論は確かになる、という考え方を、吊り橋の比喩とともに紹介します。数学が正しいと言える理由を、ネットワークのモデルから考えます。 〇Why do...

OpenAIが数百本の数学の成果を一斉公開した直後、フィールズ賞のテレンス・タオ氏がNature誌に寄稿しました。AIが解きすぎて人間の理解が追いつかない「証明の消化不良」が起きていると氏は指摘します。解いた数ではなく、説明と消化を報いる「数学2.0」とは何かを、食卓のたとえで訳しました。 〇Can maths survive AI? Fields medallist Terence Tao calls for a ‘Maths 2.0’ world（Nature、2026年10月22日） https://www.natur...

AIの点数は、試験を少し変えるだけで90%にも73%にも揺れます。それでもモデル同士の順位は長く安定し、機械学習は再現性の危機を免れてきました。ところが訓練データの見えない大規模言語モデルの時代に、その順位まで揺らぎ始めています。ハート氏の処方箋は、全員に同じ「高地トレーニング」を課すこと。目盛りが読めない時代の「比べる誠実さ」を探ります。 〇He Wants AI Benchmarking To Be a Science, Not a Dark Art（2026...

OpenAIが公開した700本あまりの数学論文のなかに、リーマン予想の弱い版「準リーマン予想」を示すものがありました。零点のいない帯が右岸から8分の1の幅で確定し、ジーゲル零点も締め出されます。メイナードは画期的と評価する一方、証明の検証はこれから。AIが見せた扉の前で、人間の数学者は何を迫られるのか。 〇AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems（2026年10月） https://ww...

答えが誰にも分からない試験を、どう採点するのか。Epoch AIが公開した「FrontierMath: Open Problems」は、数学者が解けなかった研究級の未解決問題14問を集め、見つけるのは難しいが確かめるのは簡単な問題に絞ることで自動採点を実現しました。解かれた問題は削除される早い者勝ちの設計で、AIが何を解けるかの道しるべとなります。 〇Benchmarking AI on unsolved math problems（2026年1月27日） https://epoch.ai/latest/ben...

OpenAIの数学問題解決発表から2日後、バークレーの教室でAI企業の数学者に学生が詰め寄り、質疑応答は2時間に及びました。証明より理解が問われる今、数学者の仕事はどう変わるのか。Quanta Magazineのエッセイをもとに、数学界の揺れと希望を翻訳します。 〇Is AI the End of Math as We Know It?（Quanta Magazine、2026年10月5日） https://www.quantamagazine.org/is-ai-the-end-of-math-as-we-know-it-20261005/ 〇AIが3本の...

重力の性質から生まれた「ホログラフィー原理」は、空間の中身を表面積だけで知ることができると主張します。ブラックホールのエントロピー計算やAdS/CFT対応という数学的な証拠を手がかりに、私たちの宇宙も立体ではなく、量子ビットが描く平らな模様の投影かもしれないという物理学最前線の議論を、数式を使わずに紹介します。 〇Gravity Seems Holographic. What Does That Mean for Reality?（2026年9月25日） https://www.qua...

OpenAIが数学とAIの独立諮問委員会を新設しました。背景には未解決問題を解く力をAIの物差しにすることへの数学者の懸念があります。同じ問いはAnthropicのリーマン予想関連の検証体制や、Google DeepMindのAI for Math Initiative、IMO 2026の監査評価にも共通していました。AIの数学的成果を誰がどう検証するか、その仕組みが問われる時代に入っています。 〇Advisory Group on Mathematics and Artificial Intelligence（OpenAI...

地図をどんな複雑な形でも4色で塗り分けられることを証明する「四色定理」。150年の歴史を持つこの問題に、6人の数学者が新しい証明を加えました。鍵は、これまで見過ごされてきた「平らな領域」に見つけた8202通りの配置。塗り分けにかかる計算時間も、大きく短縮されました。 〇The Four-Color Theorem Gets a Rare New Proof（Quanta Magazine、2026年9月10日） https://www.quantamagazine.org/the-four-color-theorem-gets-a-...

2026年9月、数学の未解決問題ナビエ・ストークス方程式を巡り、NYUのバックマスター教授とOpenAIが衝突した。進捗情報の漏洩疑惑とクレジットを巡る攻防の末、OpenAIは3,000億トークンを投じて先に証明を発表。この一件を受け、テレンス・タオ氏ら25人のフィールズ賞受賞者が、AI企業の性急な発表姿勢は数学界の検証と継承の文化を壊しかねないと警告する声明を出した。 〇A Severe Misalignment of AI in Mathematics（Math and A...

渦の中心で速度が無限大になる「爆発」。ナビエ・ストークス方程式のミレニアム問題に、NYUのバックマスター氏とAnthropicのアルプオゲ氏がAIとLeanで挑み、オイラー方程式などの爆発証明を発表しました。だが直後、OpenAIも酷似した結果を主張し、著者からの排除まで持ちかけられたと本人が告発。数学とAI、そして人間同士の信頼が同時に試された72時間の記録です。 〇Statement by Tristan Buckmaster（2026年9月8日） https://c...

参考記事 〇Formalizing Fermat's Last Theorem（Anthropic、2026年9月4日） https://www.anthropic.com/research/formalizing-fermats-last-theorem 〇AIが数学の「院試」を受けたら――証明の正しさを機械が保証する時代（数学の翻訳家、2026年3月20日） https://note.com/math_translator/n/n2f8a794bb8a9 #AI #フェルマーの最終定理 #Lean #形式化 #証明 #Anthropic #Claude #数学 #ワイルズ #数論 #定理証明 #自動証明 #AI...

セーターの糸を一箇所引っ張るだけで全部ほどけてしまうのはなぜか。東京大学のシマモト氏らが結び目理論を使い、編み地全体を一つの結び目として捉え直すことで「編めるかどうか」を数学的に判定する方法を編み出しました。編み目に生じた欠陥がどう伝わるかを追跡すると、編めるパターンほどほどけやすいという意外な事実が浮かび上がります。この発見は、伝線に強い「ほどけにくい」布地の設計にもつながります。 〇Mathematics...

AIの話題の陰で、人間の数学者たちがリーマン予想にどこまで迫っているのかを追いました。85年ぶりに破られた零点密度の壁、12.4兆個の数値検証、この予想が正しくても余白がゼロだという発見、そしてコンヌが問題を一つの収束定理に絞り込んだ2026年の論文。四つの前線と、そこに何十年も立ち続ける人たちの風景です。 〇New large value estimates for Dirichlet polynomials（2024年5月31日投稿、2026年4月改訂） https://arxiv...

AIにリーマン予想への挑戦を頼んだところ証明はできなかったものの、副産物としてゼータ関数のゼロ点が臨界線上にある割合の下限を41.6%から67.2%に押し上げました。60体のサブエージェントを動かし、Leanでの形式検証も経て、数学者が実際に検証した結果です。半世紀かけて8ポイントしか動かなかった壁を、たった二回のセッションで飛び越えた話です。 〇Learning more about Claude's mathematical capabilities（2026年8月1...

2026年フィールズ賞を受賞したジェイコブ・ツィママン氏は、授賞式の壇上でOpenAIへの転身を発表しました。30年来の難問アンドレ・オールト予想を解いた直後、なぜ彼は数学を離れる決断をしたのか。AIが数学者を追い越すという実感、そしてAIの安全性を数学的に保証する新たな挑戦について綴ります。 〇Jacob Tsimerman Wins 2026 Fields Medal for André-Oort Conjecture Proof（Quanta Magazine、2026年7月23日） https://www.qu...

OpenAIの次期モデル「Astra」が、10年以上未解決だった数学・理論計算機科学の問題を10個まとめて解いたと発表されました。高次元幾何学から量子計算、暗号まで領域は多岐にわたり、証明はLeanで機械検証済みです。今回はその中から、作用素環論の「Connesの剛性予想」への反証に注目。異なる二つの群が同じ「響き」を持つという発見が、数学の根底にあった直感を静かに揺さぶっています。 〇Ten advances in mathematics and theo...

2026年フィールズ賞をユー・デンとジョン・パードンが受賞。デンはボルツマンが遺した宿題に挑み、粒子の衝突からニュートン力学を厳密に導出。パードンは結び目や形を見分ける精密な物差しを作り、長年の未解決問題MNOP予想を解決。分野は正反対でも、地味な基礎工事を何年も続けた胆力が共通しています。数式を使わず、その挑戦の本質を解説します。 〇Yu Deng Wins the Fields Medal 2026 for His Work on the Random Data Prob...

2026年7月、87年間未解決だったヤコビアン予想に、AIモデル「Claude Fable 5」が反例を発見しました。ワールドカップ決勝戦の夜、数学者レベント・アルポゲ氏がAIに検討させたところ、目盛りが一定値を保ちながら3つの異なる入力が同じ出力に重なる写像が導かれたのです。公開後はWolfram AlphaやSymPyでの独立検証、証明支援システムLeanによる形式化も進行中。答えを渡されることと理解することの距離を問う出来事です。 〇AI「C...

京都大学・望月新一教授のIUT理論をLeanで検証するLANAプロジェクトが、2026年7月17日、中間報告書を公開しました。ABC予想の証明を左右する「定理3.11から系3.12」の飛躍について、LANAは正否を断定せず、論点を数式一本にまで絞り込みました。2018年のショルツ氏の批判との関係や、望月氏側とのLeanを介した対話開始にも触れ、静かな緊張感の続く数学最前線の現在地を伝えます。 〇Project LANA Interim Report on IUT Theory（2...

素粒子物理学者が「弦理論」の計算を整理していたところ、偶然にも円周率の新しい数式にたどり着いた——2024年に発表されたこの発見は、その後数学者による厳密な証明、ラマヌジャンの100年前の公式との意外なつながり、ブラックホールや乱流の理論への広がりへと発展していきました。数式を使わず、この2年間の研究の物語を追います。 〇Quantum Physics Inspires a Groundbreaking Formula for Pi（Popular Mechanics、Caroline D...

ポジティブ・グラスマン多様体が、渋滞、タンパク質合成、波、素粒子衝突という全く異なる現象を共通して記述できることが分かりました。数学者ローレン・ウィリアムズの研究により、純粋数学と物理世界の不思議な繋がりが明らかになっています。また未発表の数学問題をAIに解かせる実験を通し、AIをパートナーとしつつも、自ら問いを立てる人間の直感の重要性が語られています。 参考記事 〇What Is the Positive Grassmannian an...

ビンガムトン大の研究チームが、1948年考案の「情報理論」を用いてWordleを99%解く数学的戦略を発表しました。正解を狙うのではなく、「シャノンエントロピー」に基づき、1回の推測で候補を大きく絞り込める情報量の高い単語を選ぶという発想の転換が鍵です。70年以上前の数学的アイデアが現代のSNSゲーム攻略に適用された、数学の普遍的な面白さを示す研究です。 〇Scientists Use Math to Solve Viral Word Game 'Wordle&#39...

未発表の数学の補題をAIに解かせる評価プロジェクト「First Proof」の結果が発表されました。トップの成績を収めたのはスイス連邦工科大学チームで、正答率は10問中6問でした。彼らは複数のAIを相互に議論させる手法を採用し、単一モデルより高い精度を実現しました。自信満々な誤答も多く見られましたが、研究の補助ツールとしてのAIの実力や限界を測る厳格で有意義な試みとして注目されています。 参考記事 〇Humans outperform...