新智元 (微信公众号)T2·商业与生态
78 分
Simons 基金会宣布与 OpenAI、Anthropic 共同承诺 1500 万美元资金及算力资源，资助数学家检验、理解并拓展 AI 生成的数学成果。此举直接回应了 OpenAI 一次性公开 722 篇 AI 数学手稿、次日即因一处正负号错误撤回 3 篇的验证困境，陶哲轩所称数学正从「证明稀缺」走向「证明充裕」的判断成为核心背景。
Simons Foundation
由数学家 Jim Simons 创立的非营利基金会，长期资助数学、物理与生命科学基础研究
Simons 基金会宣布与 OpenAI、Anthropic 共同承诺 1500 万美元资金及算力资源，资助数学家检验、理解并拓展 AI 生成的数学成果。此举直接回应了 OpenAI 一次性公开 722 篇 AI 数学手稿、次日即因一处正负号错误撤回 3 篇的验证困境，陶哲轩所称数学正从「证明稀缺」走向「证明充裕」的判断成为核心背景。