OpenAI发布722篇数学证明论文引数学家集体抵制
新智元报道称OpenAI在10月6日一次性放出722篇重大数学难题论文，其中包含困扰学界数十年的唯一博弈猜想（UGC）完整证明，以及L=BPL去随机化、O(n^(9/4))矩阵乘法新界限等成果，据称由即将向付费用户推出的最新内部模型平均约3小时算力完成。
为什么值得看
呈现数学界对OpenAI一次性发布722篇机器证明的两极反应，并带出密码学缺席的疑点。
现象与趋势
全部主题正在发生的行业级变化：使用习惯迁移、能力涌现、社会影响与市场格局的观察。
最新精选
第 1–5 条 · 共 5 条新智元精选AI 评估 · 76/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。AI 评估 · 76/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
数字生命卡兹克精选AI 评估 · 83/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。AI 评估 · 83/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。 OpenAI开源722份数学手稿，引发数学界震动
OpenAI在GitHub发布openai/math仓库，公开722份数学手稿、归为372组成果，覆盖数论、代数几何、组合数学等方向，全部来自一个未公开的内部模型。作者称这些成果平均每个花费约3小时ChatGPT Pro级思考算力，其中包含将准黎曼猜想推进到7/8、复数域矩阵乘法指数降到2.25等说法，同时记录了25位菲尔兹奖得主联名信等数学界的质疑与争议。
为什么值得看
梳理OpenAI一次性公开722份数学手稿所引发的学界反应与争议，并讨论AI科研中评审环节的瓶颈。
Scott Wu(@ScottWu46)精选AI 评估 · 78/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。AI 评估 · 78/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。 Scott Wu 祝贺 Cursor 团队被 SpaceX 收购
Scott Wu 发推祝贺 Cursor 团队进入新阶段，称其是当下硅谷最好的团队之一。所引用的 Cursor 公告称，Cursor 已正式成为 SpaceX 的一部分，收购交易已完成，团队将加入 SpaceXAI，帮助让 Grok 成为最有用的 AI，并改进 Grok Build、Grok Bot、Grok API、Cursor 等产品。
为什么值得看
Cursor 被 SpaceX 收购的消息由第三方转述，可观察 AI 编程工具与航天巨头业务整合的动向。
Interconnects AI — Nathan Lambert精选AI 评估 · 83/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。AI 评估 · 83/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。 Kimi K3 发布：开放权重的升级与生态新格局
Moonshot AI 于 7 月 16 日发布旗舰模型 Kimi K3，这是一个 2.8T 参数的 MoE 模型，权重将于 7 月 27 日发布。在 Vals AI 指数上排名第 2，在 Artificial Analysis 智能指数上排名第 3，仅次于 Claude Fable 和 GPT-5.6 Sol Max，同时价格更低，并在前端代码竞技场排名第 1。
为什么值得看
从 K3 发布切入，梳理开放权重与闭源前沿差距收窄后的经济与政策连锁影响。
Alex Albert(@alexalbert__)精选AI 评估 · 78/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。AI 评估 · 78/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。 Anthropic 内部数据：超 80% 合并代码由 Claude 编写
Anthropic 公布内部数据：超过 80% 合并进代码库的代码由 Claude 编写，许多 Anthropic 研究员已有数月不再手写代码；工程师平均代码交付量达到 2024 年的 8 倍。
为什么值得看
Anthropic 内部数据显示编码自动化程度已很高，读者可借此了解 AI 研发自我加速的当前进展。