技術
GIGAZINE 2026-10-13 15:00
タオ氏、AI時代の数学「Math 2.0」提唱
原題 AIが数学の未解決問題を解決しまくる現代に数学者テレンス・タオ氏が提言する「Math 2.0」とは？
数学者テレンス・タオ氏が、2026年10月9日にカリフォルニア工科大学で公開講演「Math 2.0」を行い、翌10日にブログで資料を公開した。従来の数学を「Math 1.0」と位置づけ、AIが証明を大量に生む時代に、研究の目的や評価基準を見直すべきだと説く。
論点
証明をAIが量産する時代、数学者の価値は何か
- コメントを読み込み中…
議論のヒントを見る
賛成側の視点
証明はAIに任せ、人間は問いを立てて意味を決める。それが数学者の新しい仕事だ。反対側の視点
証明を作れない数学者に理解も問いもない。人間の役割が消えるのを美化しているだけだ。
みんなのコメント 件
コメントを書く