菲尔兹奖得主陶哲轩就GPT-6在孪生素数猜想上的新进展公开发文吐槽：GPT-6 Astra发布后即以Lean形式化证明把连续素数间距上界从246推到186，Anthropic与Axiom的模型也同期给出188和212的成绩。陶哲轩同时发出AI告警，认为AI解题太快、过程太黑盒，可能掩盖数学研究中宝贵的失败，甚至让AI对数学的影响转为净负面。

09/05 12:18

训练完就“退场”：光象科技联合清华发布物理原生世界模型Phi-WM 1.0

具身智能公司光象科技联合清华大学李升波教授课题组，发布第一代物理原生世界模型Phi-WM 1.0（代号ActEffect）：受控世界模型只在训练阶段检查动作后果并优化策略，训练完成即退出部署链路，机器人执行任务时无需在线展开未来预测。该模型在LIBERO、LIBERO-PLUS和RoboCasa-GR1三项基准上分别取得98.8%、80.3%与67.5%的平均成功率，公司正将其推向汽车工厂焊接上下料、移动质检等真实工位。

09/05 10:55

GPT-6 Astra 登陆 Pro、Enterprise 和 API，Anthropic 同时重置 Claude 使用上限

OpenAI 将 GPT-6 Astra 的访问范围扩大至 Pro、Enterprise 与 API 渠道，Anthropic 同期重置了 Claude 的使用上限，两家头部实验室几乎同时放宽旗舰模型的获取门槛。对企业与开发者而言，旗舰模型的可获得性正在成为比跑分更现实的竞争维度。