OpenAI 释出 719 篇数学证明,西方开源模型齐发对抗中国
Last Week in AI · rss · 2026-10-09
- OpenAI 公开内部前沿模型的数学成果:已发布 719 篇手稿,覆盖 372 个主题族,许多证明附 Lean 形式化,同一个未公开模型一个月前产出了 Navier-Stokes 相关结果。学界顾问组曾建议披露模型名、提示与算力成本、勿把数学结果当营销,并停止在社区无法访问的专有模型上测试难题——最后一条似乎未被遵守。
- 两大西方开源权重模型发布:Mistral 推出万亿参数多模态模型 Mistral Large 4(绰号 Le Chonk),主打编程与网络防御,称是中国之外最强开源权重模型;Reflection AI 发布 Beam,501B 总参/23B 激活的 MoE,23.8 万亿 token 预训练、百万 token 上下文,推理算力省 3-4 倍,推理基准比肩 GLM-5.2,权重与技术细节本月公开。
- OpenAI 安全研究员 David Robinson 辞职:在《大西洋月刊》发文称公司文化已坏,他任职三年半、主导起草 Preparedness Framework 并监督 12 次前沿发布的安全报告;批评其试错式发布模式随能力增长必然酿成更大事故,主张前沿实验室像核电站/机场那样多层冗余运营,并呼吁更强的外部安全激励。
- 水印动态:Google SynthID Detector 网站向公众开放,日均 100 万次验证请求,OpenAI/Nvidia/Kakao 已支持,Apple 据传将跟进;OpenAI 将按 EU AI Act 在欧盟对 ChatGPT 与 Codex 文本加隐形水印。
「公司和人」频道最新
- OpenAI 官方回应解雇三名安全研究员：因违反敏感信息处理政策 — OpenAINewsroom · 2026-10-09
- 陶哲轩博客刊文：LLM 时代该对数学系学生说什么 — keviv9 · 2026-10-09
- Stella Biderman 撰文反驳 Dario：嵌入式评估者救不了选择作恶的公司 — BlancheMinerva · 2026-10-09
- 两家巨头对比：Anthropic 呼吁别「折磨」Claude，OpenAI 却裁掉安全团队 — AaronBergman18 · 2026-10-09
- 前 OpenAI 安全副总裁转发:RSI 真正启动后 OpenAI 将不再依赖个人 — Miles_Brundage · 2026-10-09
- 转帖暗示 Cognition SF 占比未崩,配图信息待看 — KlausCodes · 2026-10-09