推文

@prolibertine · 2026-10-15 23:08

Simons Foundation 今天跟 OpenAI、Anthropic 一起砸了 1500 万美元，帮数学圈应付 AI。基金会管钱、开放提案征集，用来开工作坊：核验 AI 辅助结果、学新工具、定集体用法标准。OpenAI 单独掏了 500 万；两边还会给基金会资助的研究者模型和算力，不只数学，基础科学也算。Simons 官号那条约 5.5 万曝光，OpenAI 那条跟发已经 8.5 万。 之前写过 OpenAI 一口气扔 722 篇数学稿，Association for Human Mathematics 翻脸说「数学家没求你们干这个活」。这次新的是：他们开始掏钱，让人审自己吐出来的东西了。OpenAI 数学进展页也加了 10 月 15 日更新，点名这笔钱专门用来 examine、understand、build on AI 产出的结果。 Simons 还提了自己早年资助过 Lean 证明助手。我觉得数字不在 1500 万本身——生成便宜了，贵的是「这算不算真正的新发现」。工作坊要定的标准，其实是在补那批稿子扔出来以后空着的核验层。社区自己定规则，比实验室单方面秀肌肉靠谱一点。

曝光 3 · 评论 0 · 点赞 0 · 书签 0 · 曝光/时 0.9992106643762448