277. 数学の未解決問題はAIに解かれるの？

<p>【PR】NordVPNの特別割引<br>クーポンコード【scientalk】の適用で、2年プランが大幅割引＋4ヶ月延長！<br><a href="https://nordvpn.com/scientalk">https://nordvpn.com/scientalk</a> へアクセス！</p><p><br></p><p>2026年、AIが数学の未解決問題を次々と解きはじめた？ そもそも未解決問題とは？AIは何ができて何ができない？ 数学者に残る仕事は？ など、AI時代の数学の最前線について語ります。</p><p>•─────• 💬 <strong>Topics</strong> 💬 •─────•<br>00:00 数学の未解決問題はAIに解けるのか？<br>02:15 そもそも未解決問題とは？ゴールドバッハ予想とコラッツ予想<br>05:20 予想・証明・定理・反例の違いを山登りでたとえると<br>08:01 400京まで確かめても「証明」にならない理由<br>09:40 フェルマーの最終定理とワイルズの証明<br>12:53 AIの得意・不得意と数学オリンピック金メダル<br>14:47 OpenAI副社長の「未解決問題を解いた」騒動<br>17:00 2026年1月、AIが50年来の問題を解決！証明チェッカーLean<br>33:21 AI時代に数学者はいらない？<br>34:10 ナビエ–ストークス方程式は本当に解けた？<br>35:16 「僕が解きたかったのに」数学者の楽しみはどうなる？<br>38:34 AIの限界と人間の役割：暗号・GPSへの応用<br>41:20 AIが見つけた数学がAIを速くする？Leanの意外な応用<br>43:31 フィジカルAIが自分で実験する時代は来る？<br>45:00 AIは人類を滅ぼす？制御と倫理の話<br>48:12 AIで社会はどう変わる？働かなくていい未来とエネルギー問題<br>53:24 まとめ＆おたより募集・Spotifyフォロワー1万人突破！<br></p><p>•─────• 💎 <strong>Reference</strong> 💎 •─────•</p><ul><li>「ＡＩが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ…（Yahoo!ニュース）</li><li><a href="https://news.yahoo.co.jp/articles/5054ebb0f827712825e610d37dfa4028f8c0e226">https://news.yahoo.co.jp/articles/5054ebb0f827712825e610d37dfa4028f8c0e226</a></li><li>OpenAI&#39;s &#39;embarrassing&#39; math（TechCrunch, 2025-10-19）</li><li><a href="https://techcrunch.com/2025/10/19/openais-embarrassing-math">https://techcrunch.com/2025/10/19/openais-embarrassing-math</a></li><li>Resolution of Erdős Problem #728: a writeup of Aristotle&#39;s Lean proof（arXiv 2601.07421）</li><li><a href="https://arxiv.org/html/2601.07421v5">https://arxiv.org/html/2601.07421v5</a></li><li>AI just solved an 80-year-old &#39;Erdős problem,&#39; and mathematicians are amazed（Scientific American）</li><li><a href="https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/">https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/</a></li><li>AI Has Solved One of Math&#39;s $1 Million Millennium Prize Problems（Quanta Magazine, 2026-09-08）</li><li><a href="https://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/">https://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/</a></li><li>Did OpenAI solve the wrong Navier-Stokes problem?（Scientific American, 2026-09-21）</li><li><a href="https://www.scientificamerican.com/article/did-openai-solve-the-wrong-navier-stokes-problem">https://www.scientif