25人のフィールズ賞受賞者がAI企業を警告：未解決問題をベンチマークとして悪用し数学を「破壊」している
25人のフィールズ賞受賞者が共同声明に署名し、OpenAIを含む主要AI企業が未解決の数学問題を性能ベンチマークとして悪用していると非難した。この行為は数学研究の誠実さと、機械知能に対する一般の理解の両方を損なう恐れがあると彼らは主張している。
中核的論争
問題となっているのは、AIラボが有名な未解決問題——リーマン予想から長年の組合せ論的予想まで——に関する結果を示すことでモデルの能力を誇示する傾向が強まっていることだ。署名者たちは、AIシステムがそうした問題に対して部分的またはヒューリスティックな出力を生成し、それが突破口として喧伝されると、歪んだフィードバックループが生じると論じる。すなわち、ベンチマークに最適化が行われ、資金は見出しを飾るデモに流れ、真の数学的厳密さは脇に追いやられる。
この論争に独占的に応じたあるフィールズ賞受賞者は、状況をカテゴリー錯誤と表現した。数学はリーダーボードではない、とこの人物は主張する。問題が未解決なのは、深い構造的問いを内包しているからであり、誰も十分な計算資源を投じていないからではない。それらをベンチマークの標的として扱うことは、地図と領土を混同することであり、AIが実際に何をなし得るかについて政策立案者、投資家、一般大衆を誤導する。
AIと暗号資産の接点にとってなぜ重要か
この論争は暗号資産とAIの融合のまさに中心に位置する。分散型計算ネットワーク、AIエージェントプロトコル、モデルトークン化プラットフォームは、ますます「ベンチマーク性能」を売りにしており、しばしば数学や推論のスコアを有用性の証拠として引用している。もし学界がこれらのベンチマークの妥当性を正式に否定すれば、AIと暗号資産セクターのかなりの部分のマーケティング基盤が弱体化する。
- 分散型計算ネットワークで、フロンティアモデルのトレーニングや推論を宣伝するものは、能力の主張をどのように検証するかについて、より厳しい精査に直面する可能性がある。
- AIエージェントトークンで、価値提案が「推論ベンチマーク」に依存しているものは、信頼性の侵食に見舞われる可能性がある。
- データマーケットプレイスで、数学や科学のデータセットを販売するものは、品質をどのように証明するかを再考する必要があるかもしれない。
将来を見据えた視点
この声明がAIラボによる数学問題の評価対象としての使用を止めさせる可能性は低い——ベンチマークは商業的にあまりに有用だからだ。しかし、それは分裂を加速させるかもしれない。一方に厳密で査読済みの評価基準、他方にマーケティング主導のベンチマーク文化。暗号資産とAIのプロジェクトにとって賢明な動きは、前者に整合することだ。検証可能な計算、透明な評価方法論、モデル出力のオンチェーン認証は、真の差別化要因になり得る——規制当局が求めるからではなく、学界の反発が検証不可能な主張をますます高コストにするからだ。
フィールズ賞受賞者たちが提起するより深い問いは哲学的だ。もしAIの価値が完全には解けない問題によって測られるなら、業界のベンチマーク飽和への執着は、まったく間違ったものを測っているのかもしれない。
