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

【PR】NordVPNの特別割引
クーポンコード【scientalk】の適用で、2年プランが大幅割引＋4ヶ月延長！
nordvpn.com/scientalk へアクセス！

2026年、AIが数学の未解決問題を次々と解きはじめた？そもそも未解決問題とは？AIは何ができて何ができない？数学者に残る仕事は？など、AI時代の数学の最前線について語ります。
•─────• 💬 Topics 💬 •─────•
数学の未解決問題はAIに解けるのか？
そもそも未解決問題とは？ゴールドバッハ予想とコラッツ予想
予想・証明・定理・反例の違いを山登りでたとえると
400京まで確かめても「証明」にならない理由
フェルマーの最終定理とワイルズの証明
AIの得意・不得意と数学オリンピック金メダル
OpenAI副社長の「未解決問題を解いた」騒動
2026年1月、AIが50年来の問題を解決！証明チェッカーLean
AI時代に数学者はいらない？
ナビエ–ストークス方程式は本当に解けた？
「僕が解きたかったのに」数学者の楽しみはどうなる？
AIの限界と人間の役割：暗号・GPSへの応用
AIが見つけた数学がAIを速くする？Leanの意外な応用
フィジカルAIが自分で実験する時代は来る？
AIは人類を滅ぼす？制御と倫理の話
AIで社会はどう変わる？働かなくていい未来とエネルギー問題
まとめ＆おたより募集・Spotifyフォロワー1万人突破！

•─────• 💎 Reference 💎 •─────•
• 「ＡＩが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ…（Yahoo!ニュース）
• news.yahoo.co.jp/articles/5054ebb0f827712825e6…
• OpenAI's 'embarrassing' math（TechCrunch, 2025-10-19）
• techcrunch.com/2025/10/19/openais-embarrassing…
• Resolution of Erdős Problem #728: a writeup of Aristotle's Lean proof（arXiv 2601.07421）
• arxiv.org/html/2601.07421v5
• AI just solved an 80-year-old 'Erdős problem,' and mathematicians are amazed（Scientific American）
• scientificamerican.com/article/ai-just-solved-…
• AI Has Solved One of Math's $1 Million Millennium Prize Problems（Quanta Magazine, 2026-09-08）
• quantamagazine.org/ai-has-solved-one-of-maths-…
• Did OpenAI solve the wrong Navier-Stokes problem?（Scientific American, 2026-09-21）
• scientificamerican.com/article/did-openai-solv…
•─────• 🧬 Infomation 🧬 •─────•