数学者、AIの躍進に「本当に怖い」と涙
Judul asli: ‘I’m Really Terrified’: A Mathematician Grapples With AI’s Recent Breakthroughs
Mengapa Ini Penting
AI が数学の最前線を塗り替え、専門職の存在意義そのものを問い直している
Cornell大のSteven Strogatz教授は、OpenAIが数万のエージェントで90年来の数学難問を解いたと発表した2026年9月、AIが数学界を根底から変えると警告した。
Cornell大学教授でありベストセラー作家のSteven Strogatzは、AIが数学分野にもたらした変化を語る際、涙を見せた。「科学としては興奮するが、人間的な不快さも伴っている」と同氏は述べる。
OpenAIは今週、数万のAIエージェントを使い、賞金100万ドルが懸かる90年来の未解決問題を解いたと発表。ただし独立した検証は未完了で、数学者のTristan Buckhamsterは、OpenAIが自身とAnthropic研究者Levent Alpögeの成果を知った上で先回りしたと主張している。
Anthropicも先週、Claudeが既存のFermat's Last Theorem証明を形式化する過程で2万9500件の小定理を証明したと発表。8月にはOpenAIが10件の長年未解決問題で進展を報告した。
Strogatzは共著書『Big Math』（11月刊行予定）の中で、数学が人間の理解を超え始めていると論じる。共著者のAlex Townsendも「15年間捧げたピーク時のスキルが、もはや最前線ではない」と率直に打ち明け、AIエージェントを持つ自分が研究者なのか疑問を感じると語った。