OpenAIが数百本の数学の成果を一斉公開した直後、フィールズ賞のテレンス・タオ氏がNature誌に寄稿しました。AIが解きすぎて人間の理解が追いつかない「証明の消化不良」が起きていると氏は指摘します。解いた数ではなく、説明と消化を報いる「数学2.0」とは何かを、食卓のたとえで訳しました。
〇Can maths survive AI? Fields medallist Terence Tao calls for a ‘Maths 2.0’ world（Nature、2026年10月22日）
https://www.nature.com/articles/d41586-026-03389-1
〇Sharing AI progress in mathematics（OpenAI、2026年10月6日／10月15日更新）
https://openai.com/index/sharing-ai-progress-in-mathematics/
〇Mathematics in the age of AI（テレンス・タオ氏によるICM 2026公開講演スライド、2026年7月24日）
https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf
#数学の翻訳家 #数学翻訳家 #テレンス・タオ #Math2.0 #証明の消化不良 #AIと数学 #数学 #フィールズ賞 #Nature #OpenAI #形式証明 #Lean #未解決問題 #数学者 #数学教育 #研究評価 #査読 #グッドハートの法則 #生成AI #AI時代の学び #科学コミュニケーション #大人の教養 #理系の読み物 #ICM2026 #研究の未来
感想
まだ感想はありません。最初の1件を書きましょう！