我不是小布丁
@xiaobuding
OpenAI 官方宣布与独立数学家顾问组合作，负责负责任地分享 AI 在数学上的进展：由该组就"如何评估与传达新数学成果、如何维持学术与专业标准、如何开发支持数学研究与教学的工具"提供建议。
同一条线上的热议转述补上了更炸的细节：他们 24 天前才开始训练的内部模型，已解决 100 多个横跨多数数学领域的长期未解问题，进度连 OpenAI 自家的数学家都感到意外；参与评估的独立组里有 Edward Witten、Timothy Gowers、Martin Hairer 的名字，负责评估结果并协调发布节奏。
我的看法是，两条并读，重点不在"AI 会不会做数学"，而在发布机制：一个 24 天训练的模型啃掉 100 多道长期未解题，任何单一机构自证都撑不住——所以要请外部数学家把关：谁判断证明对不对、怎么按学科标准沟通、成果以什么形式进文献。这一步比结果本身更像"负责任"的样子。
边界：官方那条给的是机制，转述那条给的是数字，两者都未附论文或证明链接；"100+ 未解问题"属转述口径，在正式评估完成前应当作待验证。
openai.com/index/advisory…
话题来源 @OpenAI
430.7W阅读 ❤️8996 x.com/…↗ 已改写，非原文转载
20 浏览 0 评论
0 反应
