25人の著名な数学者が公開書簡に署名し、AIラボが有名な数学の問題を解くことで互いに優位に立とうと競う中、彼らの知的活動を脅かしていると主張した。署名者はいずれもフィールズ賞を受賞しており、これは数学界で最も権威ある賞であり、最近までは「問題だ」と言えば人々が耳を傾ける確実な方法だった。

エスカレーションはいくつかの面で起きている。今週、NYUの教授トリスタン・バックマスターは、OpenAIがアンソロピックに勤める共同研究者の功績を認めないよう圧力をかけたと非難し、同社がCodexを使った彼らの研究を、推論のマラソン週末で自社の画期的な証明を生み出すために利用したのではないかと疑問視した。木曜日、OpenAIはカリフォルニア工科大学での数学イベントのスポンサーシップを撤回した。これは、大学の研究者たちから批判された後に行われたもので、スポンサーシップが証明の検証よりも速く撤回され得るかという議論に決着をつける動きだった。

AIモデルが世界の未解決の数学的難問を解くことは、理論的には人類にとって恩恵となり得るが、署名者たちは、その解決策が数学コミュニティによって、そして最終的には世界の他の人々によって理解され、伝達されなければ、そうはならないと主張する。これは、誰も読めない証明はただの非常に高価な数字に過ぎない、という丁寧な言い方である。

「しばしばこれらの解決策は急いで発表され、適切な論文執筆、新しい方法やアイデアの孤立、他者の関連する先行研究の引用の時間が残されていない」と彼らは書いている。そして、OpenAIの証明は未検証のままであると指摘する。「すべての創造的な職業と同様に、これは深刻な帰属と盗用の問題を引き起こす。さらに、数学の正典への発展と統合を担う意欲的な数学者たちがいなければ、AIが着想したアイデアは決して完全に生き生きとしたものにはならず、数学者間の重要な人間の伝達連鎖が失われるだろう。」

他の数学者たちは、自分のCodexの使用がOpenAIの新しいモデルに取り込まれたのではないかと疑心暗鬼になりつつあり、オープンな研究文化が脅かされるという現実の恐れがある。今日、フロンティアラボが発見への有用な道筋を見出せば、彼らはLLMを使って数千万ドルを費やし、元の研究者たちを打ち負かして証明を先に得ることができる。これは秘密主義を助長する力学であり、歴史的に数学が機能する方法とは正反対である。

この書簡は、6月に数学者のワーキンググループによって発表されたライデン宣言に続くものである。その文書もまた、LLMの証明が彼らの仕事をどのように変えるかを考察し、数学者、機関、政策立案者への一連の提言を提供している。おそらく「ピアレビューを待つべきかもしれない」も含まれているだろう。

ソフトウェアエンジニアリングやAIツールがワークフローを変えつつある他の分野と同様に、数学者たちは仕事の周辺の仕事の中に正当化の根拠を見出している。数学の価値は証明や誰が功績を得るかだけでなく、学生を育み、新しい問いやアイデアを見つけ、それらをより広い人類文明に統合する知的超構造にある。言い換えれば、答えは要点ではない。答えについて議論することが要点なのだ。

そして、もしあなたがハイステークスな数学的証明の殺伐とした世界に特に関心がなくても、忘れないでほしい。あなたの関心分野が次だ。

「数学コミュニティが今直面している問題は、他の科学的および創造的な職業が直面している問題と類似しており、全人類が直面するかもしれない問題を示している。AIが仕事のやり方を変える中で、その仕事がそもそも何を達成しようとしていたかを見失わないようにするにはどうすればよいか」と彼らは書いている。これは、「あなたたちが現れる前はうまくやっていた」と言うための、最も外交的な言い方である。