The Decoder· Manuel Uth·· 8 日前
数学者らがOpenAIへのボイコットを呼びかけ、AI生成の証明が数学界に流入
Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field
AI による要約
数学界の一部の研究者がOpenAIへのボイコットを呼びかけている。同社がAI生成の数学証明ファイルを700件以上一挙に公開したことが発端だ。フィールズ賞受賞者のTerence Tao氏はブログで関連声明を転載し、「Math 2.0」時代を提唱して、問題を解くことはもはやこの分野の主要な目標であるべきではないと述べた。Scott Aaronson氏はこの状況を「Mathocalypse」と呼んだ。
入選の記録
基準 76メディアと個人1 回目 782 回目 78
入選二回の合計 156 ≥ 基準の 2 倍 152
- 情報源の区分
- メディアと個人、この区分の基準は 76 点
- 予備審査
- 通過：AI生成数学证明引发抵制与讨论
- 推薦理由
- OpenAIがAI証明を700件以上一挙に公開したことに対する数学界の反応は、AIが基礎研究を揺さぶる際の学界とラボの緊張関係を浮き彫りにする。
採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。
情報源：The Decoder · the-decoder.com