AI 数学竞赛千万美元投入遭质疑属范畴错误

围绕一项据称耗资约 1000 万美元的 AI 数学竞赛活动，AI 圈人士 gerardsans 发文批评：这笔钱本可改变许多人的生活，如今受益者似乎只有少数人的自尊心，并质疑将人类与 AI 对比属于范畴错误——人类跑毫秒级算法不会被拿来与人比较。他还质疑 OpenAI 相关的 166 页 Lean 形式化证明只是暴力算力堆砌，另有网友劝其参考陶哲轩的观点、勿卷入马戏团式争论。

2026-09-23 ~ 2026-09-23 · 3 条相关

• 评论人质疑 OpenAI 数学证明:166 页 Lean 形式化只是暴力算力堆砌 — gerardsans · 2026-09-23
• 批评者质疑AI数学竞赛烧掉千万美元，称人类与AI对比是范畴错误 — gerardsans · 2026-09-23
• 数学圈争议:千万美元奖金之争被批浪费,网友劝听陶哲轩观点 — gerardsans · 2026-09-23