277. 数学の未解決問題はAIに解かれるの?
55:58
58再生
【PR】NordVPNの特別割引
クーポンコード【scientalk】の適用で、2年プランが大幅割引+4ヶ月延長!
https://nordvpn.com/scientalk へアクセス!
2026年、AIが数学の未解決問題を次々と解きはじめた? そもそも未解決問題とは?AIは何ができて何ができない? 数学者に残る仕事は? など、AI時代の数学の最前線について語ります。•─────• 💬Topics 💬 •─────•
00:00 数学の未解決問題はAIに解けるのか?
02:15 そもそも未解決問題とは?ゴールドバッハ予想とコラッツ予想
05:20 予想・証明・定理・反例の違いを山登りでたとえると
08:01 400京まで確かめても「証明」にならない理由
09:40 フェルマーの最終定理とワイルズの証明
12:53 AIの得意・不得意と数学オリンピック金メダル
14:47 OpenAI副社長の「未解決問題を解いた」騒動
17:00 2026年1月、AIが50年来の問題を解決!証明チェッカーLean
33:21 AI時代に数学者はいらない?
34:10 ナビエ–ストークス方程式は本当に解けた?
35:16 「僕が解きたかったのに」数学者の楽しみはどうなる?
38:34 AIの限界と人間の役割:暗号・GPSへの応用
41:20 AIが見つけた数学がAIを速くする?Leanの意外な応用
43:31 フィジカルAIが自分で実験する時代は来る?
45:00 AIは人類を滅ぼす?制御と倫理の話
48:12 AIで社会はどう変わる?働かなくていい未来とエネルギー問題
53:24 まとめ&おたより募集・Spotifyフォロワー1万人突破!
•─────• 💎Reference 💎 •─────•「AIが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ…(Yahoo!ニュース)https://news.yahoo.co.jp/articles/5054ebb0f827712825e610d37dfa4028f8c0e226OpenAI's 'embarrassing' math(TechCrunch, 2025-10-19)https://techcrunch.com/2025/10/19/openais-embarrassing-mathResolution of Erdős Problem #728: a writeup of Aristotle's Lean proof(arXiv 2601.07421)https://arxiv.org/html/2601.07421v5AI just solved an 80-year-old 'Erdős problem,' and mathematicians are amazed(Scientific American)https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/AI Has Solved One of Math's $1 Million Millennium Prize Problems(Quanta Magazine, 2026-09-08)https://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/Did OpenAI solve the wrong Navier-Stokes problem?(Scientific American, 2026-09-21)https://www.scientificamerican.com/article/did-openai-solve-the-wrong-navier-stokes-problem•─────• 🧬Infomation 🧬 •─────•
🖥️ Official Website
https://scien-talk.com/
⬛ X
https://x.com/SciEn_TALK
🟪 Instagram
https://www.instagram.com/scien_talk/
🟥 YouTube
https://www.youtube.com/@scientalk
🔍 関連番組
https://scien-talk.com/media/
🐈⬛ サイエンマニア | サイエンスっぽいマニアなハナシ
💡 サイエンスポット | 10分で聴く最新科学ニュース
🧠 脳パカラジオ
🎙 ポッドキャスト研究室
•─────• 🌏Community 🌏•─────•
🧪 LINE Open Chat「サイエンチャット」
https://bit.ly/44cUYr5
🥼 サイエントークラボ
https://scien-talk.com/lab/
📋 ScienceBoard
https://www.reddit.com/r/ScienceBoard/
📑 サイエンマガジン
https://note.com/scientalk/m/mb7067d5dce94
•─────• 📮Contact 📮 •─────•おたよりやお問い合わせは下記へ
🟩 LINE official
https://line.me/R/ti/p/@356egxqv
🖋️ Google Form
https://forms.gle/1NnybfxjZ6SHZEW6A
📨 Mail
scientalkclub@gmail.com
クーポンコード【scientalk】の適用で、2年プランが大幅割引+4ヶ月延長!
https://nordvpn.com/scientalk へアクセス!
2026年、AIが数学の未解決問題を次々と解きはじめた? そもそも未解決問題とは?AIは何ができて何ができない? 数学者に残る仕事は? など、AI時代の数学の最前線について語ります。•─────• 💬Topics 💬 •─────•
00:00 数学の未解決問題はAIに解けるのか?
02:15 そもそも未解決問題とは?ゴールドバッハ予想とコラッツ予想
05:20 予想・証明・定理・反例の違いを山登りでたとえると
08:01 400京まで確かめても「証明」にならない理由
09:40 フェルマーの最終定理とワイルズの証明
12:53 AIの得意・不得意と数学オリンピック金メダル
14:47 OpenAI副社長の「未解決問題を解いた」騒動
17:00 2026年1月、AIが50年来の問題を解決!証明チェッカーLean
33:21 AI時代に数学者はいらない?
34:10 ナビエ–ストークス方程式は本当に解けた?
35:16 「僕が解きたかったのに」数学者の楽しみはどうなる?
38:34 AIの限界と人間の役割:暗号・GPSへの応用
41:20 AIが見つけた数学がAIを速くする?Leanの意外な応用
43:31 フィジカルAIが自分で実験する時代は来る?
45:00 AIは人類を滅ぼす?制御と倫理の話
48:12 AIで社会はどう変わる?働かなくていい未来とエネルギー問題
53:24 まとめ&おたより募集・Spotifyフォロワー1万人突破!
•─────• 💎Reference 💎 •─────•「AIが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ…(Yahoo!ニュース)https://news.yahoo.co.jp/articles/5054ebb0f827712825e610d37dfa4028f8c0e226OpenAI's 'embarrassing' math(TechCrunch, 2025-10-19)https://techcrunch.com/2025/10/19/openais-embarrassing-mathResolution of Erdős Problem #728: a writeup of Aristotle's Lean proof(arXiv 2601.07421)https://arxiv.org/html/2601.07421v5AI just solved an 80-year-old 'Erdős problem,' and mathematicians are amazed(Scientific American)https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/AI Has Solved One of Math's $1 Million Millennium Prize Problems(Quanta Magazine, 2026-09-08)https://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/Did OpenAI solve the wrong Navier-Stokes problem?(Scientific American, 2026-09-21)https://www.scientificamerican.com/article/did-openai-solve-the-wrong-navier-stokes-problem•─────• 🧬Infomation 🧬 •─────•
🖥️ Official Website
https://scien-talk.com/
⬛ X
https://x.com/SciEn_TALK
https://www.instagram.com/scien_talk/
🟥 YouTube
https://www.youtube.com/@scientalk
🔍 関連番組
https://scien-talk.com/media/
🐈⬛ サイエンマニア | サイエンスっぽいマニアなハナシ
💡 サイエンスポット | 10分で聴く最新科学ニュース
🧠 脳パカラジオ
🎙 ポッドキャスト研究室
•─────• 🌏Community 🌏•─────•
🧪 LINE Open Chat「サイエンチャット」
https://bit.ly/44cUYr5
🥼 サイエントークラボ
https://scien-talk.com/lab/
📋 ScienceBoard
https://www.reddit.com/r/ScienceBoard/
📑 サイエンマガジン
https://note.com/scientalk/m/mb7067d5dce94
•─────• 📮Contact 📮 •─────•おたよりやお問い合わせは下記へ
🟩 LINE official
https://line.me/R/ti/p/@356egxqv
🖋️ Google Form
https://forms.gle/1NnybfxjZ6SHZEW6A
scientalkclub@gmail.com
サイエントーク
研究者レン & イギリス駐在員エマ
- 55:581.
277. 数学の未解決問題はAIに解かれるの?
コメント

感想・質問・応援メッセージを書こう