1. 数学の翻訳家
  2. ケン・オノ氏の講演は2時間に..
ケン・オノ氏の講演は2時間に及んだ——AIが定理を証明する時代、数学者に残される仕事とは
2026-10-06 21:14

ケン・オノ氏の講演は2時間に及んだ——AIが定理を証明する時代、数学者に残される仕事とは

OpenAIの数学問題解決発表から2日後、バークレーの教室でAI企業の数学者に学生が詰め寄り、質疑応答は2時間に及びました。証明より理解が問われる今、数学者の仕事はどう変わるのか。Quanta Magazineのエッセイをもとに、数学界の揺れと希望を翻訳します。

〇Is AI the End of Math as We Know It?(Quanta Magazine、2026年10月5日)

https://www.quantamagazine.org/is-ai-the-end-of-math-as-we-know-it-20261005/


〇AIが3本の道を1点に束ねた——87年来の「ヤコビアン予想」に反例、決勝戦の夜に(2026年7月22日)

https://note.com/math_translator/n/nd994ba292d1d

#数学 #AI #人工知能 #数学者 #OpenAI #Quanta #数学の翻訳家 #数学翻訳家 #定理証明 #未解決問題 #数学教育 #数学の未来 #AIと数学 #バークレー #人間数学協会 #arXiv #MathOverflow #大学院生 #研究者 #科学ニュース #理解 #数学の美しさ #教養 #科学コミュニケーション #純粋数学

感想

まだ感想はありません。最初の1件を書きましょう!

21:14

コメント

スクロール