数学者がAIの躍進に「本当に恐怖」
원제: ‘I’m Really Terrified’: A Mathematician Grapples With AI’s Recent Breakthroughs
왜 중요한가
AIが数学の最前線を塗り替え始めており、研究者の役割と成果の帰属に関する新たな問題が急浮上している。
Cornell大学のSteven Strogatz教授とAlex Townsend准教授が、2026年9月にWIREDのインタビューに応じ、AIが数学研究に与える急激な影響について語った。OpenAIが90年来の未解決問題を1万体以上のエージェントで解いたと発表し、AnthropicのClaudeはFermat最終定理の証明形式化で2万9500の定理を証明したと報告。Strogatzは2026年を数学史の転換点と位置づけた。
数学者・著者のSteven Strogatz（Cornell大学教授）は、AIが引き起こす数学界の激変について語る際、思わず涙をこぼした。2026年9月、OpenAIは数万体のAIエージェントを用い、賞金100万ドルが懸かっていた90年来の未解決数学問題を解いたと発表。この成果はスペイン人数学者Diego CórdobaとLuis Martínez-Zoroaの手法を基にしているが、発表直後に別の数学者Tristan Buckmanterが異議を唱えた。BuckmasterはOpenAIが自分とAnthropic研究者Levent Alpögeの研究成果を事前に知った上で先行発表し、さらにクレジット表記にも介入しようとしたと主張している。
一方AnthropicのClaudeは、他の数学者グループが数年をかけて取り組んできたFermat最終定理の証明形式化プロジェクトで、2万9500の小定理を証明したと先週発表。OpenAIは8月にも10件の長年未解決問題で進展を報告している。
Strogatzは共著者Alex TownsendとともにAI時代の数学を論じる書籍『Big Math』を11月に出版予定。Townsendは既にChatGPTを活用して数十年来の線形代数問題を解いたと明かしたが、「15年間を研究数学に捧げてきたのに、自分がピーク時にいるまさにこの瞬間、その能力をAIに超えられている」と率直に危機感を表明。「今や私はフロンティアにいるのではなく、AIエージェントを操る存在になった」と語った。
Strogatzは「今後、AIなしに突破口となる数学研究はできなくなる」と断言。2026年を「annus mirabilis（奇跡の年）かannus horribilis（惨禍の年）かどちらかとして記憶されるだろう」と述べた。背景には、企業各社がIPO前の注目獲得を狙って成果を競い合う動きもあるとStrogatzは指摘している。