OpenAIの数学論文公開に人間数学協会が中止要請

この亀裂は何年もかけて形成されてきた。存命の最も偉大な数学者と広く見なされるテレンス・タオは、2023年10月にLean証明支援系を学ぶためにChatGPTを使い始めた——大規模言語モデル、従来のアルゴリズム、人間の数学者の調和的な融合を思わせる瞬間だった。2026年4月と5月までに、タオはこの分野が証明を消化せずに生成していると公に警告し、数学文化がいずれ「生の」証明を解答として扱わなくなると予測した。

2026年9月のナビエ・ストークスの一件は、その警告を危機に変えた。OpenAIはトークンに推定$15 Millionを費やし、独立に解答に近づいていた数学者トリスタン・バックマスターは、それが時期尚早かつ低品質で公表されたと述べた。バックマスターは、OpenAIのセバスチャン・ブベックが共同発表からライバル数学者の名前を削除するよう求めたと主張し、ユーザーデータがモデルに影響したかについてのOpenAI自身の説明は時とともに変わった。

10月6日の700件を超えるファイルの公開と、それに続くAHMのOpenAIとの作業中止の呼びかけは、関係が摩擦から正式な断絶へ移った瞬間を示す。これが一つのラボと一つの分野の争いにとどまるのか、専門家コミュニティがAIベンダーに反発する広範なひな形になるのかは、この経緯が未解決のまま残す問いである。