OpenAI、370超の数学問題にAI解答を公開

OpenAIによる370超のAI生成数学解答の大量公開は、数週間の論争を経て行われた。同社が以前ナビエ・ストークス方程式のAI解答を発表した際、2人の数学者が進行中の研究をモデルに投入したと非難した。OpenAIはこれを否定し、学習データのカットオフが彼らのCodex製品使用より前だと述べた。この批判を受け、OpenAIは高等研究所に数学とAIに関する独立諮問グループを設置し、AI生成の証明の公表に関する勧告を発表した。OpenAIは最新の公開でこれらの手順の一部のみに従い、諮問グループはOpenAIとの協議は建設的だったとしつつ勧告を再確認した。

結果は数学者を二分している。トロント大学のダン・リット教授のように熱狂し、新たな探求領域を見出して飛ぶことを学ぶ感覚に例える者もいる。UCLAのテレンス・タオのように、あまりに迅速に問題を解くことは学生の意欲をそぎ、解答に至る過程を軽んじることでこの分野の未来を奪うと主張する者もいる。タオは大量公開が「Math 1.0」の終わりを告げるとし、生の解法中心から脱却する「Math 2.0」時代を呼びかけた。

焦点は、数学コミュニティが功績、訓練、解説に関する規範を十分速く適応させ、AI生成の成果を吸収できるかにある。数学者、資金提供機関、学生にとっての試練は、AIが人間の探求を広げる道具になるか、この分野の人間的核を侵食する促進剤になるかである。