数学の未解決問題はAIに解かれるの？
2026年、AIが数学の未解決問題を次々と解きはじめた？ そもそも未解決問題とは？AIは何ができて何ができない？ 数学者に残る仕事は？ など、AI時代の数学の最前線について語ります。
このエピソードを聴く
Apple Podcasts
Spotify
YouTube
Amazon Music
Voicy
Pody
Xで感想をシェアする
#サイエントーク で感想を聞かせてください
今回の名言
「どの山登ろうかなって考える方は、人間がやるわけじゃん。」
レン ／ 約40:20 数学者はいらない？
僕が解きたかったのにってなんない?AIってさ、疲れを知らないからさ、もういくらでもパターンを試して抜け道探すみたいなことがやっぱ得意でチャプター
押すとYouTubeのその場面から再生します
- 00:00数学の未解決問題はAIに解けるのか？
- 02:15そもそも未解決問題とは？ゴールドバッハ予想とコラッツ予想
- 05:20予想・証明・定理・反例の違いを山登りでたとえると
- 08:01400京まで確かめても「証明」にならない理由
- 09:40フェルマーの最終定理とワイルズの証明
- 12:53AIの得意・不得意と数学オリンピック金メダル
- 14:47OpenAI副社長の「未解決問題を解いた」騒動
- 17:002026年1月、AIが50年来の問題を解決！証明チェッカーLean
- 33:21AI時代に数学者はいらない？
- 34:10ナビエ–ストークス方程式は本当に解けた？
- 35:16「僕が解きたかったのに」数学者の楽しみはどうなる？
- 38:34AIの限界と人間の役割：暗号・GPSへの応用
- 41:20AIが見つけた数学がAIを速くする？Leanの意外な応用
- 43:31フィジカルAIが自分で実験する時代は来る？
- 45:00AIは人類を滅ぼす？制御と倫理の話
- 48:12AIで社会はどう変わる？働かなくていい未来とエネルギー問題
- 53:24まとめ＆おたより募集・Spotifyフォロワー1万人突破！
参考文献 6件
- 「ＡＩが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ…（Yahoo!ニュース）
- OpenAI's 'embarrassing' math（TechCrunch, 2025-10-19）
- Resolution of Erdős Problem #728: a writeup of Aristotle's Lean proof（arXiv 2601.07421）
- AI just solved an 80-year-old 'Erdős problem,' and mathematicians are amazed（Scientific American）
- AI Has Solved One of Math's $1 Million Millennium Prize Problems（Quanta Magazine, 2026-09-08）
- Did OpenAI solve the wrong Navier-Stokes problem?（Scientific American, 2026-09-21）
