誰かが指摘してるリンク、持ってる？ まだ正式な証明を進めてるみたいだから、その過程で問題を見つけたんじゃないかな。

自動化された数学は、タオが指摘したように、そのコミュニティが危険にさらされている。自動化できるなら、必要ないってことだよね。必要なら、完全には自動化できないだろうし。これは実験としてはシンプルだし、数学の「コミュニティ」は我慢してくれるべきだよ。ダーウィンも誇りに思うだろうね。

ここでのリスクって「AIのせいで数学研究の資金が減る」ってことかな？それは悪いことだと思うし、止めるべきだよね（人文学の資金も数学よりずっと厳しい状況だし！）。でも、OpenAIに怒るのが正しいのかはちょっと疑問だな。

ずっと昔に人々がこんなにたくさんの数学を解明したのはすごいよね。

ごめん、でもこれをチェックするのに数学コミュニティは実際には必要ないよ。必要なのは自律的な検証だけで、それはもう人間の数学界を超えたスピードと規模で存在してる。OpenAIは、すべての論文の検証を完了させる前に急いで出しちゃったんだ。このミスは数学コミュニティとは全く関係なくて、100%市場のプレッシャーによるもので、人間の数学者の1,000,000倍の速さで進められた結果だよ。正直、いくつかのミスは、人間が見つけたんじゃなくてAIを使った人間が見つけたものだから、ほとんど関係ないと思う。人間の数学者は、検証エージェントを促すこと以外にはこの努力にほとんど貢献できないし、それは時間をかければ誰でもできることだよ（ほとんどの人はやらないけど）。

繁栄する数学コミュニティがなければ、こういうことを指摘することはできず、問題は解決しなかっただろう。それは良くないことだよ。数学コミュニティが存在しなかったり弱かったりしたら、OpenAIは撤回を余儀なくされた結果の名声から利益を得ることはできなかっただろう。論文を撤回することでOpenAIの投資家に損害を与えたのは完全に受け入れられない。 > 自動化された数学は、タオが指摘したように、そのコミュニティが危機にさらされている。聞けてよかった。彼らが示す問題は対処する必要がある。

これは数学コミュニティだけの問題じゃないよ。ソフトウェア開発者コミュニティはどうなるの？ AIはジュニアソフトウェアエンジニアの必要性をなくしちゃった。ほとんどの会社がジュニアエンジニアを雇っていない。でも、企業はまだシニアソフトウェアエンジニアを必要としてる。ジュニアエンジニアがいなければ、将来シニアエンジニアはどうなるの？ 解決策は何？ ソフトウェアや数学などのAIの進展を止めるべきだとは思わないよ。

OpenAI: 「ここにすべての数学問題の答えがあるよ。これで数学者は不要だね。賞金と名声はサム・アルトマンに送ってね。ところで、これらの答えをチェックするために数学者が必要になるよ。」

人間が間違いを修正する必要があるっていうのは、今まさに崩れつつある一時的な現状に過ぎないよ。目の前でその様子が見えてるしね。AIはどんどん進化してる。人間がまだ持ってる小さな勝利をわざわざ指摘するのは無意味だよ。だって、その勝利も一時的だから。私たちは「何のためにやってるの？」って本気で考える必要がある。私が出した唯一の答えは「楽しさ」だね。

どうやらその書き方はひどいみたい（読みにくいってことね）。少なくともAIにもう少し直させることができたんじゃないかな。今後、ライティング能力にもっと投資するかもしれないね。