AI 数学证明验证

Simons 基金会宣布与 OpenAI、Anthropic 共同承诺 1500 万美元资金及算力资源，资助数学家检验、理解并拓展 AI 生成的数学成果。此举直接回应了 OpenAI 一次性公开 722 篇 AI 数学手稿、次日即因一处正负号错误撤回 3 篇的验证困境，陶哲轩所称数学正从「证明稀缺」走向「证明充裕」的判断成为核心背景。