数学の翻訳家

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本の道を1点に束ねた——87年来の「ヤコビアン予想」に反例、決勝戦の夜に（2026年7月22日）

https://note.com/math_translator/n/nd994ba292d1d

#数学 #AI #人工知能 #数学者 #OpenAI #Quanta #数学の翻訳家 #数学翻訳家 #定理証明 #未解決問題 #数学教育 #数学の未来 #AIと数学 #バークレー #人間数学協会 #arXiv #MathOverflow #大学院生 #研究者 #科学ニュース #理解 #数学の美しさ #教養 #科学コミュニケーション #純粋数学

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

〇Gravity Seems Holographic. What Does That Mean for Reality?（2026年9月25日）

https://www.quantamagazine.org/gravity-seems-holographic-what-does-that-mean-for-reality-20260925/

#数学の翻訳家 #数学翻訳家 #ホログラフィー原理 #量子重力 #ブラックホール #AdSCFT対応 #理論物理学 #物理学 #宇宙論 #量子力学 #重力理論 #時空 #レナードサスキンド #スティーヴンホーキング #ヤコブベケンシュタイン #弦理論 #量子ビット #イットフロムキュービット #数学 #サイエンス #教養 #素粒子物理学 #エントロピー #反ドジッター空間 #宇宙

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

〇Advisory Group on Mathematics and Artificial Intelligence（OpenAI、2026年）

https://openai.com/index/advisory-group-on-mathematics-and-ai/

〇Claude's progress on the Riemann hypothesis（Anthropic、2026年8月）

https://www.anthropic.com/research/riemann-zeta

〇Google DeepMind and Google.org announce AI for Math Initiative（Google、2026年）

https://blog.google/innovation-and-ai/models-and-research/google-deepmind/ai-for-math/

〇Accelerating mathematical and scientific discovery with Gemini Deep Think（Google DeepMind）

https://deepmind.google/blog/accelerating-mathematical-and-scientific-discovery-with-gemini-deep-think/

〇Google's Aletheia Advances the State of the Art of Fully Autonomous Agentic Math Research（InfoQ、2026年4月）

https://www.infoq.com/news/2026/04/deepmind-aletheia-agentic-math/

〇Mathematicians Question AI Performance at International Math Olympiad（Scientific American）

https://www.scientificamerican.com/article/mathematicians-question-ai-performance-at-international-math-olympiad/

〇imo-2026: Frontier AI models solving IMO 2026 autonomously（GitHub）

https://github.com/deedy/imo-2026

#数学の翻訳家 #数学翻訳家 #数学 #AI #人工知能 #OpenAI #Anthropic #Claude #GoogleDeepMind #Gemini #リーマン予想 #ヤコビアン予想 #数学オリンピック #IMO #AI倫理 #AIガバナンス #科学コミュニケーション #サイエンス #テクノロジー #note科学部 #note数学部 #数理科学 #検証可能性 #AI研究 #未解決問題

地図をどんな複雑な形でも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-rare-new-proof-20260910/

〇The Four Color Theorem with Linearly Many Reducible Configurations and Near-Linear Time Coloring（arXiv、2026年3月25日）

https://arxiv.org/abs/2603.24880

#数学 #四色定理 #四色問題 #グラフ理論 #数学史 #証明 #アルゴリズム #計算量 #平面グラフ #コンピューターサイエンス #離散数学 #サイエンス #科学ニュース #数学者 #未解決問題 #定理証明 #Lean #AI #教養 #雑学 #数学の翻訳家 #数学翻訳家 #組み合わせ論 #グラフ彩色 #地図の色分け

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

〇A Severe Misalignment of AI in Mathematics（Math and AI宣言、2026年9月11日）

https://mathandai.org/

〇OpenAI fought dirty on career-making math problem, says NYU mathematician（TechCrunch、2026年9月8日）

https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/

〇OpenAI's feud with mathematicians is only escalating（TechCrunch、2026年9月11日）

https://techcrunch.com/2026/09/11/openais-feud-with-mathematicians-is-only-escalating/

#AI #数学 #人工知能 #OpenAI #Anthropic #フィールズ賞 #ナビエストークス方程式 #ミレニアム懸賞問題 #数学者 #証明 #科学ニュース #テクノロジー #生成AI #数理科学 #研究倫理 #知的財産 #帰属問題 #テレンスタオ #Codex #Claude #ライデン宣言 #数学翻訳家 #数学の翻訳家 #クレイ数学研究所 #流体力学

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

〇Statement by Tristan Buckmaster（2026年9月8日）

https://cims.nyu.edu/~tristanb/statement.pdf

〇On the Navier–Stokes Millennium Prize Problem（OpenAI、2026年9月8日）

https://openai.com/index/navier-stokes-solution/

〇OpenAI claims blockbuster math breakthrough amid swirl of controversy（Scientific American、2026年9月）

https://www.scientificamerican.com/article/openai-claims-blockbuster-math-breakthrough-amid-swirl-of-controversy/

#数学 #AI #OpenAI #Anthropic #ナビエストークス方程式 #オイラー方程式 #ミレニアム懸賞問題 #Lean #形式検証 #数学者 #未解決問題 #フィールズ賞 #クレイ賞 #流体力学 #人工知能 #テクノロジー #科学ニュース #証明 #ブロウアップ #数理科学 #イノベーション #サイエンス #大規模言語モデル #数学翻訳家 #数学の翻訳家

参考記事

〇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数学 #プルーフアシスタント #数理論理学 #未解決問題 #科学ニュース #テクノロジー #イノベーション #人工知能 #数学史 #Prove2Me #数学者 #数学翻訳家 #数学の翻訳家

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

〇Mathematics holds the secret to 'ladder-proof' knitting（Nature、2026年8月18日）

https://www.nature.com/articles/d41586-026-02466-9

〇Topological Defect Propagation to Classify Knitted Fabrics（Shimamoto et al., Physical Review X, 2026年7月14日）

https://doi.org/10.1103/g565-3dyn

〇Unraveling the Topology of Knitted Fabrics（Rachel Berkowitz, Physics Magazine, 2026年7月14日）

https://physics.aps.org/articles/v19/s88

#数学 #物理学 #トポロジー #位相幾何学 #結び目理論 #編み物 #かぎ針編み #科学ニュース #サイエンス #東京大学 #Nature #PhysicalReviewX #数理科学 #メタマテリアル #応用数学 #布地 #ファッション #素材科学 #研究成果 #論文 #科学の面白さ #数学の翻訳家 #数学翻訳家 #知的好奇心 #数学がわかる

AIの話題の陰で、人間の数学者たちがリーマン予想にどこまで迫っているのかを追いました。85年ぶりに破られた零点密度の壁、12.4兆個の数値検証、この予想が正しくても余白がゼロだという発見、そしてコンヌが問題を一つの収束定理に絞り込んだ2026年の論文。四つの前線と、そこに何十年も立ち続ける人たちの風景です。

〇New large value estimates for Dirichlet polynomials（2024年5月31日投稿、2026年4月改訂）

https://arxiv.org/abs/2405.20552

〇A decades-long breakthrough in zero-density estimates and primes in short intervals（2026年7月6日）

https://arxiv.org/abs/2607.04632

〇The Riemann hypothesis is true up to 3・10^12（2020年4月21日）

https://arxiv.org/abs/2004.09765

〇The De Bruijn-Newman constant is non-negative（2018年1月17日）

https://arxiv.org/abs/1801.05914

〇The Riemann Hypothesis: Past, Present and a Letter Through Time（2026年2月3日）

https://arxiv.org/abs/2602.04022

〇Unconditional pair correlation of zeros of the Riemann zeta-function（2023年6月7日）

https://arxiv.org/abs/2306.04799

〇Learning more about Claude's mathematical capabilities（2026年8月10日）

https://www.anthropic.com/research/riemann-zeta

#数学翻訳家 #数学の翻訳家 #リーマン予想 #リーマンゼータ関数 #素数 #数論 #解析的数論 #未解決問題 #臨界線 #零点密度 #グートメイナード #ジェームズメイナード #アランコンヌ #非可換幾何学 #テレンスタオ #ドブラウンニューマン定数 #ミレニアム懸賞問題 #数学 #数学者 #サイエンス #科学ニュース #研究成果 #数理科学 #ペア相関 #グロタンディーク

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

〇Learning more about Claude's mathematical capabilities（2026年8月10日）

https://www.anthropic.com/research/riemann-zeta

#数学翻訳家 #数学の翻訳家 #AI #Anthropic #Claude #リーマン予想 #リーマンゼータ関数 #素数 #数論 #未解決問題 #証明 #Lean #形式検証 #数学 #人工知能 #サイエンス #科学ニュース #研究成果 #臨界線 #サブエージェント #モリファイア法 #モンゴメリー予想 #数理科学 #数学者 #ミレニアム懸賞問題