Advertise on podcast: 数学の翻訳家

OpenAIが10月26日に発表した純粋ヤン・ミルズ理論の存在証明を、物理グループの評価文書をもとに読み解く記事です。証明されたのは格子理論の極限として物理の公理を満たす理論を構成できることで、極限の一意性と質量ギャップは未証明です。Leanで検算されたのは命題が定義から導けることまでで、命題が問題を正しく表すかは別に確かめる必要があります。評価は査読前の最初の評価です。 #数学の翻訳家 #数学翻訳家 #ヤンミルズ理論 #ミレニアム懸賞問題 #質量ギャップ #量子場理論 #格子ゲージ理論 #素粒子物理 #標準模型 #クォーク #数学 #物理学 #OpenAI #AI数学 #Lean #形式検証 #形式化 #未解決問題 #掛谷予想 #理論物理学 #科学コミュニケーション #AIと科学 #数学ニュース #証明 #数学の証明

2026年11月5日、数学とAIの未来を問う匿名アンケート「Futures of Maths」が始まりました。参加条件は過去5年以内に数学誌へ論文を発表したことで、回答は名前もORCIDも知られずに残ります。問いは参加者が投稿して育てられ、結果は十分な回答が集まってから公表される予定です。数学者の声の分布を地図にする試みです。 参考記事 〇Futures of Maths Launch（2026年11月5日） https://proofsandprompts.com/2026/11/05/futures-of-maths-launch/ 〇Futures of Maths（コンサルテーション公式サイト） https://community.futuresofmaths.com 〇About – Proofs and Prompts（2026年10月22日更新） https://proofsandprompts.com/about-proofs-and-prompts/ 〇AIが3本の道を1点に束ねた——87年来の「ヤコビアン予想」に反例、決勝戦の夜に（2026年7月22日） https://note.com/math_translator/n/nd994ba292d1d #数学の翻訳家 #数学翻訳家 #AI #数学 #人工知能 #研究 #科学ニュース #数学者 #未解決問題 #形式化数学 #数学の美しさ #数学予想 #アンケート #匿名 #研究者 #学術 #大学 #数学教育 #科学コミュニケーション #ProofsAndPrompts #FuturesOfMaths #テクノロジー #数学の未来 #論文 #科学

パルテノン神殿の柱や土台がわずかに曲がっているのは、錯覚を打ち消すためだという説が2000年近く信じられてきた。2026年9月、オックスフォード大学の数学者アラン・ゴリリー氏は王立協会の学術誌で、その根拠を検証した。計算すると錯覚は起きず、柱のふくらみも人の目には見分けられない。曲線の理由は、雨水を流すためや見た目の好みだったのかもしれない。 #数学の翻訳家 #数学翻訳家 #数学 #パルテノン神殿 #パルテノン #古代ギリシャ #ギリシャ建築 #建築 #建築史 #錯視 #光学錯視 #錯覚 #ウィトルウィウス #アテネ #アクロポリス #数学者 #アランゴリリー #オックスフォード大学 #幾何学 #科学ニュース #科学 #歴史 #定説 #研究 #学術論文

「逆数学」は、既知の定理から出発して、それを導くのに必要な前提を逆にたどって探す数学の考え方です。この発想を物理に持ち込んだのが、ミシガン大学のカルカッシとアイダラによる論文「Reverse Physics」です。二人は古典力学を六通りに言い換え、不確定性原理が量子論の全体ではなく「純粋状態のエントロピーがゼロ」という一点から出ることを示し、熱力学の第三法則を「空っぽの系」の論理へ置き換えました。数式を使わずに、物理の前提を問い直す試みを紹介します。 参考記事 〇Reverse Physics: From Laws to Physical Assumptions（2021年11月10日投稿、2022年3月17日改訂） https://arxiv.org/abs/2111.09107 〇同論文 掲載誌版（Foundations of Physics） https://doi.org/10.1007/s10701-022-00555-z #数学の翻訳家 #数学翻訳家 #数学 #物理学 #逆数学 #リバースフィジックス #古典力学 #ハミルトン力学 #不確定性原理 #エントロピー #熱力学 #第三法則 #量子力学 #統計力学 #情報理論 #科学解説 #論文紹介 #arXiv #基礎物理学 #数学好きと繋がりたい #科学の面白さ #理論物理 #物理の基礎 #数学と物理 #教養

二つの数え方が条件の違いにもかかわらず同じ個数になる、ロジャース＝ラマヌジャン恒等式。2026年9月、ケン・オノ氏らは、その一般化である「X^a=Y^b」型の曲線を行列で数える新しい枠組みから、Huang、Jiang、Oblomkovの予想を証明したと発表した。証明は、円筒分割の数え上げと行列式という二本の道が同じ規則を満たして出会う形で組み立てられている。有限版はAIのAxiomProverによってLeanで形式化された。ただし論文は査読前である。 〇Rogers--Ramanujan identities from the geometry of X^a=Y^b（2026年9月17日、改訂2026年10月7日）https://arxiv.org/abs/2609.20567 〇Algebraic geometric framework of Rogers--Ramanujan identities（2026年8月15日）https://arxiv.org/abs/2608.15219 〇HJO（形式化したLeanのリポジトリ）（2026年9月10日）https://github.com/AxiomMath/HJO #数学 #数学の翻訳家 #数学翻訳家 #ロジャースラマヌジャン #ラマヌジャン #数論 #分割数 #恒等式 #AI #AxiomProver #Lean #形式化数学 #ケン・オノ #プレプリント #数学者 #科学ニュース #研究 #組み合わせ論 #q級数 #テクノロジー #人工知能 #定理証明 #数学の美しさ #数学予想 #代数幾何学

「Lean検証済み」と書かれた証明でも、Leanが検査するのは機械向けの言語で書かれた文章です。人間が読む元の証明と意味がずれていれば、お墨付きは当てになりません。Science誌が報じた研究者たちの懸念を入口に、OpenAIのナビエ・ストークス証明で見つかった「Lean版が元の主張より弱い」という食い違いを紹介します。機械による検証と人間の理解の違いを考えます。 〇AI is shaking up math. But can its proofs be trusted?（2026年10月28日） https://www.science.org/content/article/ai-shaking-math-can-its-proofs-be-trusted 〇Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs（2026年10月） https://arxiv.org/pdf/2610.08144 〇AIが3本の道を1点に束ねた——87年来の「ヤコビアン予想」に反例、決勝戦の夜に（2026年7月22日） https://note.com/math_translator/n/nd994ba292d1d #数学 #数学の翻訳家 #数学翻訳家 #AI #人工知能 #形式化数学 #Lean #定理証明 #証明 #OpenAI #ナビエストークス #数学者 #査読 #未解決問題 #研究 #科学ニュース #テクノロジー #Anthropic #ClaudeFable5 #数学の美しさ #AI数学 #信頼性 #検証 #ケプラー予想 #数学の世界

多くの票を得た人が勝つ、という当たり前が三人以上の選挙では崩れます。1785年、コンドルセは一人ひとりの順位は筋が通っていても、全員で集めると堂々巡りになるパラドックスを見つけました。2026年、リブソンらの研究はこの堂々巡りが、表も裏もないクラインの壺の形をしていることを示しました。投票の方法は、どの弱点を諦めるかという価値観の選択でもあります。その選択は数学ではなく、私たちが決めることです。 ⑦ 参考記事 〇How Voting Is Like a Klein Bottle（2026年10月26日）https://www.quantamagazine.org/how-voting-is-like-a-klein-bottle-20261026/ 〇The Non-Orientable Topology of Condorcet's Paradox（2026年1月12日投稿、2026年9月16日改訂）https://arxiv.org/abs/2601.07283 〇数学の地図を描き直した男——グロタンディークという名の革命（2026年5月27日）https://note.com/math_translator/n/n86b513ff4029 #数学の翻訳家 #数学翻訳家 #数学 #投票 #選挙 #コンドルセ #コンドルセのパラドックス #アロー #アローの定理 #社会選択理論 #トポロジー #位相幾何学 #クラインの壺 #メビウスの帯 #民主主義 #多数決 #パラドックス #幾何学 #科学ニュース #QuantaMagazine #数学の面白さ #教養 #基礎研究 #ひねり #数学の地図

答えの出た問題を、数学者はなぜ何度も解き直すのか。素数が無限にあるというユークリッドの証明には今も約200通りの証明があります。オイラーの解き直しがリーマン予想の入口になり、重ねた証明がグルンヴァルト＝ワンの定理のように誤りを見つけることもあります。証明が増えるほど結論は確かになる、という考え方を、吊り橋の比喩とともに紹介します。数学が正しいと言える理由を、ネットワークのモデルから考えます。 〇Why do mathematicians keep proving things they already know?（記事作成日：2026年10月23日）https://www.newscientist.com/article/2595497-why-do-mathematicians-keep-proving-things-they-already-know/ 〇Why Mathematicians Re-Prove What They Already Know（記事作成日：2023年4月26日）https://www.quantamagazine.org/why-mathematicians-re-prove-what-they-already-know-20230426/ 〇素数の「ふち」に立つ人たち——リーマン予想、2026年・人間側の最前線（数学の翻訳家）https://note.com/math_translator/n/n194312469903 #数学 #素数 #ユークリッド #リーマン予想 #オイラー #数学の証明 #証明 #数学史 #AIと数学 #科学コミュニケーション #数学好きな人と繋がりたい #数学の翻訳家 #note #サイエンス #理系 #教養 #大人の教養 #数学ミステリー #未解決問題 #ナビエストークス #グルンヴァルト #吊り橋 #科学ニュース #数論 #数学の面白さ

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.nature.com/articles/d41586-026-03389-1 〇Sharing AI progress in mathematics（OpenAI、2026年10月6日／10月15日更新） https://openai.com/index/sharing-ai-progress-in-mathematics/ 〇Mathematics in the age of AI（テレンス・タオ氏によるICM 2026公開講演スライド、2026年7月24日） https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf #数学の翻訳家 #数学翻訳家 #テレンス・タオ #Math2.0 #証明の消化不良 #AIと数学 #数学 #フィールズ賞 #Nature #OpenAI #形式証明 #Lean #未解決問題 #数学者 #数学教育 #研究評価 #査読 #グッドハートの法則 #生成AI #AI時代の学び #科学コミュニケーション #大人の教養 #理系の読み物 #ICM2026 #研究の未来

AIの点数は、試験を少し変えるだけで90%にも73%にも揺れます。それでもモデル同士の順位は長く安定し、機械学習は再現性の危機を免れてきました。ところが訓練データの見えない大規模言語モデルの時代に、その順位まで揺らぎ始めています。ハート氏の処方箋は、全員に同じ「高地トレーニング」を課すこと。目盛りが読めない時代の「比べる誠実さ」を探ります。 〇He Wants AI Benchmarking To Be a Science, Not a Dark Art（2026年10月16日） https://www.quantamagazine.org/he-wants-ai-benchmarking-to-be-a-science-not-a-dark-art-20261016/ 〇The Emerging Science of Machine Learning Benchmarks（2026年） https://mlbenchmarks.org/ 〇Do ImageNet Classifiers Generalize to ImageNet?（2019年2月13日投稿・6月12日改訂） https://arxiv.org/abs/1902.10811 #数学の翻訳家 #数学翻訳家 #AIベンチマーク #機械学習 #モーリッツハート #Quanta #ImageNet #深層学習 #大規模言語モデル #LLM #AI評価 #テストセット #ホールドアウト法 #再現性の危機 #統計学 #ランキング #ベンチマックス #AI冬の時代 #高地トレーニング #AIの限界 #生成AI #科学コミュニケーション #数学 #AIと数学 #教養

OpenAIが公開した700本あまりの数学論文のなかに、リーマン予想の弱い版「準リーマン予想」を示すものがありました。零点のいない帯が右岸から8分の1の幅で確定し、ジーゲル零点も締め出されます。メイナードは画期的と評価する一方、証明の検証はこれから。AIが見せた扉の前で、人間の数学者は何を迫られるのか。 〇AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems（2026年10月） https://www.science.org/content/article/ai-edges-closer-solving-riemann-hypothesis-one-math-s-hardest-problems 〇Sharing AI progress in mathematics（2026年10月6日） https://openai.com/index/sharing-ai-progress-in-mathematics/ 〇Slightly improved zero-free half-planes for the quasi-Riemann hypothesis（2026年10月8日） https://arxiv.org/abs/2610.12234 〇Learning more about Claude's mathematical capabilities（2026年8月10日） https://www.anthropic.com/research/riemann-zeta #数学の翻訳家 #数学翻訳家 #リーマン予想 #準リーマン予想 #OpenAI #AI #人工知能 #数学 #数論 #解析的数論 #素数 #リーマンゼータ関数 #零点 #ジーゲル零点 #ミレニアム懸賞問題 #ジェームズメイナード #フィールズ賞 #未解決問題 #科学ニュース #数学者 #サイエンス #Science #Anthropic #Claude #AIと数学

答えが誰にも分からない試験を、どう採点するのか。Epoch AIが公開した「FrontierMath: Open Problems」は、数学者が解けなかった研究級の未解決問題14問を集め、見つけるのは難しいが確かめるのは簡単な問題に絞ることで自動採点を実現しました。解かれた問題は削除される早い者勝ちの設計で、AIが何を解けるかの道しるべとなります。 〇Benchmarking AI on unsolved math problems（2026年1月27日） https://epoch.ai/latest/benchmarking-ai-on-unsolved-math-problems 〇AIが3本の道を1点に束ねた——87年来の「ヤコビアン予想」に反例、決勝戦の夜に（2026年7月22日） https://note.com/math_translator/n/nd994ba292d1d #数学 #AI #人工知能 #未解決問題 #FrontierMath #EpochAI #ベンチマーク #数学者 #研究 #科学ニュース #テクノロジー #GPT #Gemini #数学の翻訳家 #数学翻訳家 #自動検証 #生成AI #AI研究 #AIと数学 #組合せ論 #数論 #数学の美しさ #数学の魅力 #教養 #大人の学び

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研究 #未解決問題