Erdős問題サイト、AIの猛攻に屈す——コメントと証明クレームを凍結へ
Erdosproblems.com Succumbs to the AI Onslaught
数学者Thomas Bloomが運営するErdős問題のサイトが、AI生成の証明投稿の急増を受け、問題コメントと証明クレームを凍結すると発表した。同サイトは2023年5月に200問で開始し、現在1221問、9000件以上のコメント、登録ユーザー約2000人、1日1万〜2万5000人の訪問者を抱えるまでに成長。しかし、AIが数学の難問を解き始めたことで、人間による議論が減少し、説明のないAI証明の投稿が主流に。Bloomは「人間のErdősコミュニティの繁栄を助ける」ため、問題の状態表示やクレジット言語を廃止し、高品質な解説の重視へ方針転換する。
ちょうど屠殺場の中にレストランを開かないのと同じように、そのようなリポジトリと、実際の問いを宣伝し、適切な文脈に置き、人間の理解の現状を有用に概観することを目的とするサイトとの間には、分離があることが重要だ。
HNでの議論
11- dooglius
> 私は、どんな問題であれ「解決済み」と見なすのはErdősの精神に反すると思う——ある形の問いが答えられたときには、多くの別の問いが生まれ、すべての問題は引き続き注目に値する。
しかし、このリストのそもそもの考え方は、Erdosが提起した問題のうち彼が解かなかったものを正確にカタログ化することだったはずだ。「Erdosが興味を持ったすべての問題（彼が解決したものも含む）」というより広い集合は、より大きく、そして質的にも異なると私は思う。
- nemomarx
「この機能を持つウェブサイトは存在すべきだと思う——AIが生成した証明を、たとえ人間の理解を伴わない純粋に形式的なものであっても記録できる場所があれば、他の人が同じ証明を生成してトークンを無駄にするのを防げるし、望むなら他の人がそれにアクセスして利用できる。そうしたリポジトリの候補は今やいくつかあり、責任を持って管理されれば、数学のエコシステムにおいて有用な役割を果たし得る。個人的には自分で管理したいとは思わない。
屠殺場の中にレストランを開かないのと同じように、そうしたリポジトリと、実際の問いを促進し、適切な文脈に置き、人間の理解の現状について有用な概観を与えることを目的とするサイトとの間には分離があることが重要だ。」
全体的にこれはとても妥当なブログ記事だと思う。エージェントが読むためのサイトは、人間向けのものとは多くの異なるニーズや懸念を持つ。本当ならAnthropicやOpenAIが自分たちのエージェント向けにさっさと作るべきだろう。
- pfdietz
（タイトルは私のクリックベイトです）
リンクより：
「今や人々がこのサイトと公的に交流する主な方法は、AIが生成した証明を宣伝することであり、しばしばそれを説明しようとする試みもなく、（ますます無意味になりつつある）優先権の主張を記録する手段として行われている。
これは私が想像していたものとは大きく異なり、こうしたことをするウェブサイトを管理したいとは思わない。」