跳到正文
今天10月16日周五3 条
  1. InfoQ 中文78

    阶跃星辰开放 Step 5 Preview 权重,600B 稀疏 MoE 面向长程 Agent

    10 月 15 日,阶跃星辰正式开放 Step 5 Preview 权重,包含 BF16 与 FP8 两个版本,并同步发布技术博客、开源开发工具及部署指南,权重已上线 Hugging Face 和 ModelScope。

    推荐理由:原文披露了 Step 5 Preview 的架构与训练设计,读者可据此判断长程 Agent 在上下文管理上的工程取舍。

  2. InfoQ 中文38

    国产 GPU 越来越多,为什么反而更难用?基流科技谈算力集群的系统工程挑战

    国产算力竞争正从单颗芯片转向整个计算系统,集群从几十张卡扩至万卡后,通信、调度与故障定位成为有效算力的关键瓶颈。基流科技推出的 VenusCL 通信组件在客户已完成千卡集群基础调优的前提下,可再带来约 2%—6% 的 MFU 提升;其 VenusNOC 的 Megatrace 特性曾在约 3800 张卡的训练集群中定位到单张 GPU 故障。

  3. Microsoft Research62

    微软研究院发布 Magnetar:基于标准哈希函数的通用零知识证明系统

    微软研究院发布零知识虚拟机 Magnetar,可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程,在笔记本上每秒证明 720 万至 870 万条处理器指令。

    推荐理由:微软研究院公开 Magnetar 的设计与基准数据,可了解零知识证明在通用程序上的性能与密码学取舍。

10月15日周四
  1. The Decoder84

    GPT-6-Astra 在 TheoPhysEval 上解出 50 道物理研究题中的 49 道,单题成本不到 3 美元

    一项新基准测试让商用 AI 智能体在无人类提示下解答理论物理研究题,运行在 OpenAI Codex 环境中的 GPT-6-Astra 答对 50 题中的 49 题(98%),平均单题成本不到 3 美元,整套基准约 116 美元。

    推荐理由:这份基准把日常科研计算交给商用智能体实测,并给出各模型得分与单题成本,可对照自身研究流程。

  2. InfoQ 中文22

    QCon 2026 上海专场前瞻:AI Infra 如何以体系结构量化与分布式工程突破算力效率边界

    QCon 全球软件开发大会将于 10 月 22-24 日在上海举办《AI Infra:算力效率决定规模化落地》专场,探讨算力效率如何决定 AI 规模化落地。文章指出,随着成本重心向推理端倾斜,单任务 Token 消耗量以更高倍率激增,竞争核心已从单 Token 标价转向端到端任务的有效交付成本。算力损耗、显存浪费与数据失配构成三类代表性系统瓶颈,需通过模型与系统协同设计破解。

  3. 雷锋网84

    上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean形式化验证

    上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2,通过人机协同完成三维Ghys猜想证明,北京大学董彬、刘若川团队用SHEAF框架完成全部四个主定理的Lean形式化验证。攻关中书生-S2完成7批接续推演,问题图从15个节点扩展到389个,输出上千页推导;形式化验证约5天、峰值100个智能体并行、产出约55万行Lean代码。相关论文已发布在arXiv,形式化代码在GitHub公开。

    推荐理由:读者可看到人机协同攻关数学难题的完整流程,以及形式化验证如何为AI产出的证明提供严格检查。

  4. The Decoder62

    报道称 OpenAI 今年将发布一到两个新模型,旗舰款仍需对齐工作

    据 The Information 援引知情人士,OpenAI 员工称公司年底前可能发布一到两个新模型,但尚不清楚正在开发的重大升级模型是否在其中。该旗舰模型仍需对齐工作,让目标与研究人员和客户预期一致,并需完善测试基础设施;在安全评估通过后,还需按特朗普关于先进 AI 系统评估的行政令,提前最多 30 天向美国政府开放新模型。

10月14日周三
  1. 爱范儿88

    谷歌发布 Gemini 4 Argon,主打长程任务与低价 API

    谷歌正式面向全球上线 Gemini 4 Argon,定位复杂多步骤真实世界任务,覆盖编程、金融、法律、网络安全与前沿科学等领域。API 提供 100 万统一输入输出 Token 上限,首发优惠期每百万输入 Token 2 美元、输出 10 美元,缓存输入折扣 95%,开发者可通过 AI Studio、Android Studio 与 Gemini API 接入。

    推荐理由:谷歌新旗舰的定价与长程任务表现,以及未付费用户额度收紧的规则变化,是判断其可用性的关键。

  2. Google DeepMind92

    Google DeepMind 发布 Gemini 4 Argon 前沿模型

    Google DeepMind 发布 Gemini 4 Argon,面向开发者、企业和消费者开放,通过 AI Studio、Gemini API、Google Antigravity、Gemini 应用和 Search 的 AI Mode 提供,定价为每百万输入 token 2 美元、输出 token 10 美元。

    推荐理由:官方给出 Argon 在编码、科研与安全对齐上的具体案例和定价,可据此判断前沿模型在专业工作流中的落地程度。

10月13日周二
10月12日周一
10月11日周日
10月9日周五
10月8日周四
  1. The Decoder77

    Anthropic 发布 Claude Haiku 5.5,价格最高下调 90%

    Anthropic 发布 Claude Haiku 5.5,官方称这是其最快、最便宜的小模型,平均成本比 Haiku 4.5 低约 75%,提示词在 100,000 token 以内的请求价格最高下降 90%,超过该长度的请求价格则是五倍。

    推荐理由:对比 Haiku 4.5 与 GPT-6 Luna 的跑分和每任务成本,可看出小模型降价背后的 token 消耗代价。

10月7日周三
  1. Simon Willison22

    Jake Boggan 谈 Barnette 猜想被 AI 证明后的复杂心情

    Jake Boggan 在 Hacker News 评论 openai/math 相关讨论时表示,自己曾为 Barnette 猜想投入 24 年、数千小时,去年夏天还一度以为解出了它,如今该猜想据称已在问题 180 处被证明。他说听到它被解决让自己有种遥远的悲伤,像听说前女友突然死于车祸,并认为今晚很多人都会有类似的奇怪情绪。

10月6日周二
  1. TechCrunch · AI74

    Reflection 发布开源权重模型 Beam,对标中国开源模型

    Reflection AI 正式发布首款前沿开源权重模型 Beam,称其在高级推理基准上达到领先中国开源模型的水平,且推理成本大幅更低。Beam 是文本-only 的 MoE 模型,总参数 5010 亿、激活 230 亿,预训练使用 23.8 万亿 token,上下文窗口 100 万 token;公司称其推理算力消耗比对手少 3-4 倍,但性能数据尚未经独立验证。

10月3日周六
10月2日周五
10月1日周四
  1. Google DeepMind80

    Google DeepMind 发布 Gemini 4 Argon 前沿模型

    Google DeepMind 发布新前沿模型 Gemini 4 Argon,先通过 Fairwind Program 向受信任的网络安全防御方开放,随后逐步扩展到开发者、企业和消费者,起价每百万输入 token 2 美元、输出 token 10 美元。

    推荐理由:官方给出 Argon 在编码、企业知识与网络安全上的基准表现和分阶段开放路径,可据此判断前沿模型的能力边界。

9月30日周三
9月29日周二
9月25日周五
9月23日周三
9月22日周二