OpenAIが数学の未解決問題を大量解決、数学者は「津波」と震撼

OpenAIのリリースに対する数学者の反応には興味深い分裂がある：

1. 個人の視点からの反応：何年もかけてある問題に取り組んできた人々が、今や取り組むべきものを失ったことによる失望、幻滅、そして/あるいは悲嘆。それは彼らのアイデンティティの一部だった。また、キャリアの道筋や計画が混乱に陥った人々も同様。

私は上記に心から共感する。

2. 数学という研究/研究分野全体の視点からの反応：

「もしOpenAIが数学コミュニティを破壊したければ、これは素晴らしい方法だろう」

「…それは数学コミュニティに紛争を生むだろう；」

「これほど短期間にこれほど多くの問題を解決することは、数学コミュニティと専門職に損害を与えるかもしれないと感じる」

「彼らは、この問題やあの問題を解決したと主張する100ページ以上の論文を複数、しばしば冗長な議論とともに、簡単にリリースできる…——つまり、スロップだ。そして我々はそれを通読し、チェックし、整理し、単純化し、実際に何が起きているかを説明することが期待される。これは我々にとってかなりのコストとなる…そしてもちろん、功績は彼らのものだ。」

この第二のタイプの反応は…不可解だ。誰も論文を読むことを強制されていない。読みたくなければ無視すればいい。しかし、論文を読むことは仕事の大部分ではないのか？

「未解決問題は、数学コミュニティが何十年、あるいは何世紀もかけて開発してきた資源である」

数学者が意図的に問題を解決せずにきたのは、ただ…［以下略］

>AIの出現は常に地震のような衝撃をもたらすものだったが、この大量の論文の投下は、我々が準備する時間もない津波だ。OpenAIが自分たちの金銭的利益のために、我々のコミュニティの構造を喜んで洗い流すことは明らかだ。

代替案は何か？

1. 内部で研究しない（ただし、モデルが公開されれば誰かがやるだろう）？

2. 内部で研究するが、誰かに伝えるまでより長く待つ（これはOpenAIが以前行ったことで、数学者たちは明示的にやらないようにと言った）？

3. より良いモデルを全く開発しない（ただし、中国のモデルは数ヶ月遅れているだけだ）？

OpenAIが利用できる選択肢の中に、上記の懸念を解決するものはないように思われる。

人々は今でもチェスや囲碁、StarCraftをプレイしている。人は人がやりたいことをやる。これが働く数学者の数を減らすのか増やすのかは明らかではない。機械の証明から学ぶべきことは多く、新たなフロンティアも開けるだろう。

つまり、「どうなるか見てみよう」という話だ。

衝撃的だが全く驚くべきではない展開であり、すべての反応は妥当だ。

多くの反応は「腹が立つ」という類のもので、それは完全に理解できる。この反応は際立っていて、私には響く：

> これらのAI生成論文によって、我々はコミュニティとして同じ品質と厳密さの基準を適用していないと感じる。彼らは、この問題やあの問題を解決したと主張する100ページ以上の論文を複数、しばしば冗長な議論、不明瞭な論理構造、多くの行き止まり、奇妙または落ち着かない用語法とともに、簡単にリリースできる——つまり、スロップだ。そして我々はそれを通読し、チェックし、整理し、単純化し、実際に何が起きているかを説明することが期待される。これは時間と労力の点で我々にかなりのコストを強いる一方、彼らは次の予想へとスロップでブルドーザーのように進むことができる。そしてもちろん、功績は彼らのものだ。ある意味で、我々は自ら進んで自滅に貢献している。

私は数学者ではないので、読もうともしなかった。しかし、それが読むに耐えないスロップなら——なぜ我々（人間）はそれが正しいと信じるべきなのか？そしてなぜプロの数学者がそれを読むために苦労すべきなのか？