数学の翻訳家

多くの票を得た人が勝つ、という当たり前が三人以上の選挙では崩れます。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と数学