跳到正文
9月9日周三
  1. TechCrunch:AI85

    NYU 数学家指控 OpenAI 在千禧年难题竞赛中不正当竞争,Bubeck 否认

    NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公布针对 Navier-Stokes 存在与光滑性这一千禧年难题的三项证明初步结果,并称其研究进展信息被泄露给 OpenAI,对方随后用大量算力沿其独特路线追赶证明。

    推荐理由:原文记录了数学家与 OpenAI 就千年难题证明优先权展开的争议细节,以及双方各自的公开回应,可帮读者了解 AI 参与数学研究引发的信任问题。

  2. Mark Chen72

    OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解,该问题关注 Navier-Stokes 方程描述的光滑三维流体运动是否会失稳,约 90 年未解。证明由一组智能体使用比 GPT-6 Astra 能力强得多的 OpenAI 新一代模型产出。OpenAI 首席研究官 Mark Chen 转发此消息,称许多同事因相信 AI 是解决其领域重大挑战的最快路径而转行。

    引用OpenAI@OpenAI

    我们正在分享一个针对纳维-斯托克斯千禧年大奖难题的解决方案,这是数学前沿最深刻的问题之一。 该证明由一组智能体完成,使用了OpenAI的下一代模型,其能力显著超越GPT-6 Astra。 该问题关乎由纳维-斯托克斯方程建模的光滑三维流体运动描述是否会失效。这一问题已悬而未决约90年。

  3. OpenAI74

    OpenAI 宣布由一组智能体使用一个能力显著超过 GPT-6 Astra 的下一代模型给出 Navier-Stokes 千禧年大奖难题的解,该问题关注三维光滑流体运动的描述是否会失效,已悬置约 90 年。

    引用OpenAI@OpenAI

    我们正在分享一个针对纳维-斯托克斯千禧年大奖难题的解决方案,这是数学前沿最深刻的问题之一。 该证明由一组智能体完成,使用了OpenAI的下一代模型,其能力显著超越GPT-6 Astra。 该问题关乎由纳维-斯托克斯方程建模的光滑三维流体运动描述是否会失效。这一问题已悬而未决约90年。

    推荐理由:原文补充了数据隔离说明,并指出其 Euler 情形证明结果与 Alpöge 和 Buckmaster 的工作不同,读者可据此比较两条独立证明路径。

  4. Greg Brockman78

    OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解,该问题关注 Navier-Stokes 方程描述的三维光滑流体运动是否会失效,约 90 年未解决。证明由一组智能体使用比 GPT-6 Astra 能力强得多的 OpenAI 下一代模型产出。Greg Brockman 称这是 AI 与数学的里程碑,希望相关知识帮助社区更好理解用于建模物理世界的非线性 PDE。

    引用OpenAI@OpenAI

    我们正在分享一个针对纳维-斯托克斯千禧年大奖难题的解决方案,这是数学前沿最深刻的问题之一。 该证明由一组智能体完成,使用了OpenAI的下一代模型,其能力显著超越GPT-6 Astra。 该问题关乎由纳维-斯托克斯方程建模的光滑三维流体运动描述是否会失效。这一问题已悬而未决约90年。

  5. Noam Brown60

    Noam Brown 称 OpenAI 内部的数学家和物理学家本周经历了自己的“Lee Sedol 时刻”,该模型在数分钟内解决了他们多年未解的开放问题。引用的 OpenAI 介绍称,内部模型团队用约 10,000 个协作 AI agents 在 88 小时内得出 Navier–Stokes 解,训练仍在进行,全程遵循前沿评测的监控与隔离等安全防护措施。

    引用OpenAI@OpenAI

    This model represents a step-function improvement on many benchmarks, and its training is ongoing. Our internal model group arrived at the Navier–Stokes solution in 88 hours, using around 10,000 coordinating AI agents. Throughout the effort, we maintained the strict safeguards—including monitoring and isolation—that we apply to all our frontier evaluations.

  6. Noam Brown78

    Noam Brown 就 OpenAI 宣布以智能体组合求解 Navier-Stokes 千禧年大奖难题发表看法,承认这次证明花费数百万美元,但认为成本会快速下降。

    引用OpenAI@OpenAI

    我们正在分享一个针对纳维-斯托克斯千禧年大奖难题的解决方案,这是数学前沿最深刻的问题之一。 该证明由一组智能体完成,使用了OpenAI的下一代模型,其能力显著超越GPT-6 Astra。 该问题关乎由纳维-斯托克斯方程建模的光滑三维流体运动描述是否会失效。这一问题已悬而未决约90年。

9月8日周二
  1. OpenBMB58

    面壁智能(OpenBMB)开源 2B 参数端侧模型 MiniCPM5-2B,在 Artificial Analysis Intelligence Index 上得分 23,为 4B 以下开源模型第一,Agentic Index 得分 20,34 项基准平均 53.9。

    引用OpenBMB@OpenBMB

    🚀 Meet MiniCPM5-2B, a 2B-parameter language model bringing high intelligence density to the edge, now open source! It ranks #1 among open-source models under 4B parameters on the @ArtificialAnlys Intelligence Index, with a score of 23. It also scores 20 on the Agentic Index, bringing an early form of general-purpose agent capability to the edge. Across 34 benchmarks, MiniCPM5-2B achieves an average score of 53.9, covering coding, math, long-context understanding, tool use, and agentic tasks. And this release goes beyond the model itself. We’re opening up the data, training recipes, and RL stack behind MiniCPM5-2B. 🤗 Hugging Face: http://huggingface.co/openbmb/MiniCPM5-2B 💻 GitHub: http://github.com/OpenBMB/MiniCPM Modelscope: http://modelscope.cn/models/OpenBMB/MiniCPM5-2B Web: https://openbmb.cn/

  2. 公众号:卡尔的AI沃茨54

    实测个人AI助手Today:记忆可改可删,晨间简报按日程偏好自动调整

    作者以自己的日历、跑步训练和睡眠数据实测个人生活AI助手Today(Public Beta),认为其定位是个人生活连续性管理而非任务交付型工作Agent。文中记录了三个体验:日程被临时打乱时生成晨间简报并建议同步日历、睡眠不足时自动顺延非紧急待办、记忆面板可查看编辑删除每条事实且改动即时生效。作者建议按阶梯信任逐步开放权限,并指出语言切换不同步等早期产品问题。

  3. OpenBMB54

    面壁智能(OpenBMB)发布 MiniCPM5-2B,vLLM 稳定版提供 day-0 支持。该模型为 2.6B Dense 模型,原生 131K 上下文,同一 checkpoint 支持 Think/No-Think 两种模式,并通过 vLLM 的 minicpm5 parser 支持工具调用。模型采用标准 LlamaForCausalLM 架构,权重与训练数据一同开放,部署配方见 http://recipes.vllm.ai/openbmb/MiniCPM5-2B。

    引用vLLM@vllm_project

    🤝 Day-0 support for MiniCPM5-2B on stable vLLM. ⚡ Dense 2.6B model with 131K native context 🧠 Think / No-Think from the same checkpoint 🔧 Tool Calling support via vLLM’s minicpm5 parser Congrats @OpenBMB on the release, and thanks for keeping it on stock LlamaForCausalLM and opening the training data alongside the weights! 🙌 🔗 http://recipes.vllm.ai/openbmb/MiniCPM5-2B

  4. OpenBMB62

    MiniCPM5-2B 在 Artificial Analysis Intelligence Index v4.2 得分 15,为 4B 总参数以下开源权重模型最高,比 Granite 4.2 3B(11)高 4 分。

    引用Artificial Analysis@ArtificialAnlys

    OpenBMB's MiniCPM5-2B scores 15 on the Artificial Analysis Intelligence Index v4.2, the highest of any open weights model under 4B total parameters OpenBMB (@OpenBMB) is the open-source AI group behind the MiniCPM series of efficient small models. MiniCPM5-2B is a 2.6B parameter dense reasoning model with text input and output, released under Apache 2.0. Scoring 15 on the Intelligence Index, MiniCPM5-2B sits one point behind Ling 3.0 Tiny (16), which has ~3x the total parameters. Among open weights models under 4B total parameters, the next best score is Granite 4.2 3B (11). Key results: ➤ The highest Intelligence Index of any open weights model under 4B total parameters, setting a new Pareto-optimal point on Intelligence vs. Total Parameters: Its score of 15 is 4 points clear of Granite 4.2 3B (11). With 2.6B total parameters, it is 1 point ahead of Qwen3.5 4B (Reasoning, 14, estimated) with 44% fewer parameters, and level with Qwen3.5 9B (Reasoning, 15, estimated) at roughly 4x its size. As a dense model, its size advantage is in memory footprint rather than active-parameter compute. ➤ Strong agentic performance at this size: Its GDPval-AA v2 Elo of 831 leads <4B models, and on τ³-Banking it is joint-first with Ling 3.0 Tiny at 21%, compared to 8% for the next best model, Granite 4.2 8B. On AA-Briefcase, it placed second among the measured models in the comparison set with an Elo of 438, above Granite 4.2 8B (324) and just below Ling 3.0 Tiny (485). ➤ Knowledge, coding and long context are where it gives ground: MiniCPM5-2B places 7th in the set on Humanity's Last Exam (9%, behind Gemma 4 12B (Reasoning) at 16%), 8th on Terminal-Bench v2.1 (9%, behind Qwen3.5 9B (Reasoning) at 29%) and scores 0% on CritPt. On SciCode it is second of the five measured models at 26%, behind Granite 4.2 8B (31%). On AA-LCR v1.1 it scores 59%, 5th in the set, one point behind Ling 3.0 Tiny (60%). On GDP.pdf, our new professional document reasoning evaluation, it passes 1% of tasks outright, behind gpt-oss-20b (high) at 2%. ➤ Its AA-Omniscience score of -12 is earned by abstaining from answering rather than accuracy: MiniCPM5-2B attempts only 29% of AA-Omniscience questions, giving it a Non-Hallucination Rate of 78%. Its accuracy of 8% is a point below Ling 3.0 Tiny (9%) and half that of Qwen3.5 9B (Reasoning, 16%). Peers that attempt far more questions are penalized heavily, with Qwen3.5 9B (Reasoning) at -53 and gpt-oss-20b (high) at -63. ➤ It is token-efficient for a reasoning model: MiniCPM5-2B used 19k output tokens per Intelligence Index task, joint-lowest in the comparison model set with Granite 4.2 3B (19k). Ling 3.0 Tiny spends 56k, roughly 3x as many, for 1 more index point. Additional model details: ➤ Parameters: 2.6B (dense) ➤ Context window: 131k tokens ➤ Input modalities: Text only ➤ License: Apache 2.0

  5. Cohere Labs:官方研究博客68

    Cohere 详解 North Mini Code 的 megakernel 推理引擎,单 H100 上比 vLLM 快 1.25–1.41 倍

    Cohere 发布为 North Mini Code 构建的围绕 decode megakernel 的推理引擎,BF16 下单张 H100 端到端解码吞吐比 vLLM 快 1.25–1.41 倍,batch size 1 时达 292 tok/s(SoL 的 62%),代码已在 GitHub 开放。

    推荐理由:原文给出手写 decode megakernel 的完整实现细节与真实吞吐数据,读者可以了解如何把现有内核组装成单个持久内核并接入真实服务。

9月7日周一
  1. Tencent Hy63

    腾讯混元针对用户反馈的复杂任务长思考与过度验证问题优化了 Hy4 preview,现已向所有用户开放。官方称任务质量不变,对话轮数更少、输入输出 token 更低,基准与人工评测均确认改进;Hy4 preview 为 770B 总参数、49B 激活、1M 上下文的开源模型。

    引用Tencent Hy@TencentHunyuan

    🚀 Hy4 preview is here. 770B, 49B active, 1M context. Built for productivity. Open source frontier. Consistent affordable price. Use it. Tell us what breaks. More on Hy blog:https://hy.tencent.ai/research/hy4-preview HuggingFace:https://huggingface.co/tencent/Hy4-preview Github:https://github.com/Tencent-Hunyuan/Hy4-preview

  2. IT之家·人工智能59

    科大讯飞发布星火 X2.5 模型:293B-A30B MoE 架构,全国产平台训练

    科大讯飞 9 月 7 日正式发布星火 Spark X2.5 多语言文本生成模型,基于全国产平台训练,采用 MoE 框架,参数为 293B-A30B,支持 256K 上下文。模型全面提升代码和智能体能力,覆盖 200 余种语言,已在讯飞星辰 MaaS 平台上线,输入定价 1.6 元/百万 Token(缓存命中 0.24 元),输出 6 元/百万 Token。

  3. Charlie O’Neill 研究写作60

    Charlie O'Neill 谈 RL 环境信仰与理性下注:长、真、自有

    Charlie O'Neill 撰文指出,宣称一切将是 RL 环境的人很少按该信念做出理性行动,如同当年 scaling 和 AGI 信奉者并不真下注。他提出无论 RSI 是否成立都应造高价值数据与环境:若 RSI 成立,单位效用环境价值将指数增长,值得在实验室内做最有针对性、可累积的环境;若不成立,实验室需要模型在所有领域变强,会为有用数据支付高价。

9月6日周日
  1. OpenAI:官网动态82

    OpenAI 发布内部研究加速报告:已达成自动化研究实习生目标,推进 2028 年 3 月自动化 AI 研究员

    OpenAI 发文披露自动化研究进展,宣布已达成去年秋天设定的今年 9 月拥有自动化研究实习生(可在人类指导下完成耗时数天的明确研究任务)的目标,并计划在 2028 年 3 月前造出自动化 AI 研究员。

    推荐理由:OpenAI 以内部数据披露 coding agent 对研究工作的实际影响和 RSI 进展,读者可以据此了解前沿实验室的自动化研究现状。

  2. Rohan Paul54

    Rohan Paul 转发 Sapient 的回应称,Sapient 于 2025 年 6 月提出 Hierarchical Reasoning Model,并于今年 5 月开源 HRM-Text,认为 OpenAI Astra 将循环架构带入前沿讨论验证了其早期方向。

    引用Sapient Intelligence@Sapient_Int

    Excited to see the conversation around OpenAI’s Astra bringing recurrent architectures into the frontier spotlight. At Sapient, recurrence has been central to our vision from day one. We introduced HRM in June 2025 and open-sourced HRM-Text this May. It’s encouraging to see a direction we committed to early gaining wider attention. Want to explore recurrent reasoning yourself? HRM-Text is an open-source ~1B-parameter model trained from scratch on just 40B unique tokens, for about $1,000 in GPU compute-with a full pretraining framework to get you started. Explore the architecture. Train a model. Build on it. There’s still so much to explore in recurrent architectures. We’re continuing that work and building PRAXIST to help more researchers pursue ideas they believe in, just as we have with HRM.

9月5日周六
  1. IT之家·人工智能52

    小米发布并开源表格结构化数据大模型 Xiaomi-TabLDM,回归登顶 OpenML-CTR23

    小米发布通用表格数据基础大模型 Xiaomi-TabLDM,以单一预训练模型和统一默认配置直接适配不同表格数据集,完成分类与回归预测,模型权重与代码已开源。模型基于结构因果模型生成的合成数据预训练,架构引入双流特征分组、轻量级注意力残差和稀疏混合专家,并探索 Test-Time Scaling。