Startseite
Podcasts
サイエントーク Podcast
277. 数学の未解決問題はAIに解かれるの？

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

サイエントーク vor 1 Monat

0:00

55:57

【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 •─────•

「ＡＩが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ…（Yahoo!ニュース）

https://news.yahoo.co.jp/articles/5054ebb0f827712825e610d37dfa4028f8c0e226

OpenAI's 'embarrassing' math（TechCrunch, 2025-10-19）

https://techcrunch.com/2025/10/19/openais-embarrassing-math

Resolution of Erdős Problem #728: a writeup of Aristotle's
Lean proof（arXiv 2601.07421）

https://arxiv.org/html/2601.07421v5

AI 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