跳到正文
今天11月5日周四1 条
11月2日周一
11月1日周日
10月29日周四
10月28日周三
10月27日周二
  1. 爱范儿78

    OpenAI 宣布 AI 破解挂谷猜想、推翻 ETH 假设并给出杨-米尔斯存在性证明

    OpenAI 宣布其模型取得三项突破:证明所有维度的局部平滑化猜想(由此推出挂谷猜想全维度解决)、证明 ETH 为假、并构造杨-米尔斯理论存在性及量子色动力学证明。

    推荐理由:原文梳理了三项数学与物理成果的内容、验证安排和此前 722 份手稿撤回修订的背景,读者可以据此了解 AI 生成证明与人类验证之间的新矛盾。

10月26日周一
10月25日周日
10月24日周六
  1. The Decoder82

    Moonshot AI 发布 Kimi K3.1 Pro,Artificial Analysis 指数逼近 Claude Opus 5.5

    月之暗面(Moonshot AI)发布 Kimi K3.1 Pro,在 Artificial Analysis Intelligence Index 得 55 分,比 K3 高 11 分,排名第四,仅落后 Claude Opus 5.5(58 分)3 分;若按计划于 2026 年 11 月 4 日前开放权重,将成为最高分开源权重模型。

    推荐理由:媒体汇总了官方和 Artificial Analysis 的成绩与定价,读者可据此比较 K3.1 Pro 与闭源模型的差距及开放权重进展。

10月23日周五
  1. 开源中国68

    MiniMax 开源 M3.1 Flash:428B 总参数、23B 激活

    MiniMax 将 M3.1 Flash 权重开源,规格为 428B 总参数、23B 激活,上线 72 小时真实用户处理超过 100 万亿 Token。公告重点介绍推理效率优化,包括把前三个全注意力层替换为稀疏注意力以降低长上下文计算负担,以及 QAT 等三项优化(原文摘要未完整给出后两项细节)。

10月22日周四
10月20日周二
10月19日周一
  1. 开源中国61

    DeepSeek V4.1 Flash 更新版本 1017:许愿式编程能力提升,搜索 API 开放

    DeepSeek 更新 V4.1 Flash,版本号 1017,带来两项主要变化:从零建项目的「许愿式编程」能力提升,以及自研搜索 API 正式开放。官方称这次是性能与费用的帕累托改进,基准测试全面提升的同时缩短了任务运行时间和输出长度;搜索 API 开放对用 DeepSeek API 开发应用的开发者影响更直接。

10月17日周六
10月16日周五
10月14日周三
  1. The Verge · AI83

    Google 发布 Gemini 4 Argon 模型

    Google 发布长期预告的 Gemini 4 Argon 模型,称其在编程、网络安全、科学、金融和法律等基准上超过 GPT-6 Astra、Claude Fable 5.1 和 Claude Opus 5.5,并减少冗余与套话。

    推荐理由:Google 在落后数月后发布 Gemini 4 Argon,并给出定价与内部用例,读者可据此判断前沿模型竞争格局的变化。

  2. The Decoder80

    Meta 发布前沿模型 Muse Wonder 与 Muse Wonder Full

    Meta 发布前沿模型 Muse Wonder 的两个版本,Muse Wonder Full 在 Artificial Analysis Intelligence Index v4.3 上得分 56,Muse Wonder 得分 52,前代 Muse Spark 1.3 为 48。

    推荐理由:Meta 新模型在智能体与编码评测上大幅跃升,但事实知识与成本仍是短板,可据此判断其前沿位置。

  3. Google DeepMind92

    Google DeepMind 发布 Gemini 4 Argon 前沿模型

    Google DeepMind 发布 Gemini 4 Argon,面向开发者、企业、科研人员和普通用户开放,API 定价为每百万输入 token 2 美元、每百万输出 token 10 美元,缓存输入享 95% 折扣。

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

10月13日周二
10月12日周一
10月10日周六
10月9日周五
  1. 量子位62

    Aether AI 发布因果智能机器人系统 CRIS-0

    Aether AI 发布代号 CRIS-0 的因果智能机器人系统,通过提取物理因果变量而非拟合像素相关性来驱动机器人动作。在咖啡制作干扰测试中,系统平均 2 秒内识别因果变量变化并重规划,10 次随机扰动实现 9 次有效恢复;在客厅长程整理任务中可连续执行数十步,并在人手突然插入时 0.2 秒急停。

  2. 开源中国82

    Anthropic 发布 Claude Haiku 5.5:价格降至约四分之一,agent 能力从 0 升至 39%

    Anthropic 于 10 月 7 日发布 Claude Haiku 5.5,这是 Haiku 系列首个支持可调节 effort 设置的型号,用户可在速度与智能之间取舍。价格降至 Haiku 4.5 的约四分之一,输入每百万 token 0.10 美元、输出 0.50 美元(不超过 10 万 token 的提示),agent 能力从 0 提升到 39%。

    推荐理由:Haiku 5.5 的价格与 agent 能力变化,为小模型选型提供了新的成本与能力参照。

10月8日周四
  1. The Decoder78

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

    Anthropic 发布 Claude Haiku 5.5,这是其目前最快、最便宜的小模型,平均价格比 Haiku 4.5 低约 75%,10 万 token 以内提示词的价格降幅最高达 90%,超过 10 万 token 的提示词价格则是前者的五倍。

    同一新闻,精选展示《Anthropic 发布 Claude Haiku 5.5:价格降至约四分之一,agent 能力从 0 升至 39%》

10月1日周四
  1. Latent Space78

    Gemini 4 Argon 发布:GDM 对标 Astra/Fable,支持 1M 输出

    Google DeepMind 发布 Gemini 4 Argon,面向编码、企业知识工作与网络防御,先在 Fairwind 计划的政府用户和可信网络安全人员中开放,之后才面向开发者、企业和消费者。

    推荐理由:汇总 Gemini 4 Argon 的基准、定价与可用范围,并列出评测方对数据的质疑,便于判断其真实位置。

  2. Google DeepMind87

    Google DeepMind 发布 Gemini 4 Argon 前沿模型

    Google DeepMind 发布新前沿模型 Gemini 4 Argon,先通过 Fairwind Program 向受信任的网络安全防御方开放,随后逐步扩展至开发者、企业和消费者。

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