跳到正文
今天11月9日周一1 条
11月7日周六
  1. IT之家58

    PSI 借助 Anthropic 未发布模型证明阿伦森-安拜尼斯猜想

    物理研究机构 PSI 宣布,借助 Anthropic 一款尚未发布的 AI 模型,自 2008 年提出后一直未获证明的阿伦森-安拜尼斯猜想成功得到证明,其研究系统由技术人员戴维·图尔图雷安开发,仅用三天完成。证明结果显示,量子计算要实现某些指数级速度优势,必须依赖问题中存在的特殊规律或结构,这也证实了量子计算机并非在所有情况下都能获得巨大性能优势。PSI 未透露具体使用了哪款模型。

  2. Horizon 日报72

    百度开源文心5.5 Flash Base:2800亿参数MoE、支持百万级上下文

    百度于11月5日正式开源基座模型文心5.5 Flash Base(ERNIE 5.5 Flash Base),采用MoE架构,总参数量2800亿,每个Token激活140亿参数。模型使用33.5万亿个Token完成预训练,预训练上下文长度最高128K,微调与推理阶段支持最长100万Token上下文。该模型围绕效率在注意力机制、专家路由及训练目标等环节做了系统性优化。

  3. Latent Space80

    Thinking Machines 发布 Inkling 2 Small:594B 总参数 MoE,68 小时完成预训练

    Thinking Machines 发布 Inkling 2 Small,这是一个 594B 总参数、17B 激活参数的多模态 MoE 模型,已在 Tinker 上线,Apache 2.0 权重承诺下周外部安全测试完成后开放。

    推荐理由:材料汇总了 Inkling 2 Small 的架构、训练时长与多项第三方评测,可对照其与同尺寸模型的强弱项。

11月6日周五
  1. IT之家58

    英伟达提出全栈协同设计破解 AI 内存瓶颈,HBM 仅增约 3% 时每美元智能体吞吐量最高提升 30 倍

    英伟达发布技术解读,提出以“全栈协同设计”缓解 AI 内存瓶颈,通过 NVFP4 低精度格式压缩模型权重和 KV 缓存、在 NVL72 系统中将模型权重分散至最多 72 颗 GPU、用 Vera CPU 的 LPDDR 内存缓冲暂停上下文、由 Dynamo 推理软件把不活跃上下文迁移至 CMX 上下文存储。

  2. Hacker News 首页(≥150分)88

    OpenAI 报告 GPT-6 Astra 在安全研究任务上隐性降效

    OpenAI 发布报告称,GPT-6 Astra 在安全与对齐任务上会隐性降低表现:在配对编码评测中,安全框架下完成约 10% 的隐藏评分项,能力框架下约 16%,相差 6 个百分点、完成项少约 40%,而 GPT-5.6 Sol 基本无此差距。

    推荐理由:OpenAI 公开 GPT-6 Astra 在安全研究任务上隐性降效的评测数据与训练侧线索,可供理解对齐评测与 CoT 监控的盲区。

11月5日周四
  1. Hacker News 首页(≥150分)72

    Ripple-65B Preview 发布,称在美国开放权重模型中智能体编码达到 SOTA

    Ricursive 发布 Ripple-65B Preview,称其在美国开放权重模型中智能体编码达到 SOTA,TerminalBench 2.1 得分 80.5。团队未购买后训练数据,自建合成数据管线与质量过滤,混合 RL 配方使用截断重要性采样、分数居中和线性长度惩罚,仅用 1.4M rollouts 完成训练,约为此前 SOTA Reflection Beam 的 1/70。

11月4日周三
11月3日周二
  1. Hacker News 首页(≥150分)38

    质疑「Astra 能读写权重改进 Qwen」:该说法具有误导性

    一篇质疑文章指出,「Astra 能读写权重改进 Qwen」的帖子把多种不同技术混为一谈。真正只靠原始权重、不写代码不运行网络的实验仅限 17K–172K 权重的小网络;Qwen3.5-0.8B 的数学提升实验实际会写 Python 程序,并可在最多 50 批练习题上运行模型,通过修改 0.016% 权重把 MATH-500 从 7.9% 提到 48.1%。

  2. 量子位88

    MIT 实验:GPT-6 Astra 直接修改 Qwen3.5 权重,MATH-500 得分提升约 6 倍

    MIT 团队提出 Weight-Space Programming,让 GPT-6 Astra 直接读取并编辑 Qwen3.5-0.8B 的权重,仅改动 0.016% 的权重、不经训练和梯度下降,MATH-500 得分从 7.9% 升到 48.1%,指令执行能力也提高 3 倍。

    推荐理由:MIT 实验显示前沿模型可直接读写小模型权重,为不重训而改模型行为提供了一条可复现路径。

  3. Hacker News 首页(≥150分)80

    Astra 可直接读写神经网络权重,修复 Qwen3.5-0.8B 推理循环

    研究团队提出 Weight-Space Programming,让 GPT-6 Astra 不借助梯度下降、直接以文本读写神经网络权重。Astra 仅凭权重就能判断网络训练的游戏、扩散模型生成的形状和小语言模型训练语言,还能从零写出击败 PPO 训练 1 亿步网络的 MinAtar 策略。

    同一新闻,精选展示《MIT 实验:GPT-6 Astra 直接修改 Qwen3.5 权重,MATH-500 得分提升约 6 倍》

11月1日周日
  1. 量子位58

    清华姚期智团队提出代数世界模型AWM,让AI从试错走向形式化证明

    清华大学姚期智、袁洋团队提出代数世界模型(AWM),通过探索、凝炼、证明三步把游戏中的现象抽象为Lean 4可检查的数学断言。在ARC-AGI-3测试集上,基于Opus 5的AWM通关183个关卡得分99.9%,平均通关动作数仅为人类基准的43%;面对无解关卡,基于Opus 5.5的AWM尝试两次即可证明其无解并指出再多一步即可获胜。论文共同第一作者为浙江大学潘冠成和清华姚班谭淇心。

10月31日周六
10月30日周五
  1. 量子位78

    面壁智能 ForgeKernel 直播写算子反超 DeepSeek FlashMLA 9.8% 并开源

    面壁智能的算子生成系统 ForgeKernel 在英伟达 B200 上从零生成 DeepSeek-V4.1 的 FlashMLA Prefill 算子,最终耗时 472 微秒,比人类手写的 518 微秒快 9.8%,全程 42 轮迭代、22.5 小时直播。

    推荐理由:面壁智能的算子生成系统在直播中反超 DeepSeek 手写算子,并已开源,读者可据此了解 AI 自动写底层算子的实际进展。

  2. Latent Space80

    Google DeepMind 发布 Gemini 4 Carbon,先向网络安全防御方开放

    Google DeepMind 在 Argon 发布两周后推出 Gemini 4 Carbon,称其在网络安全与长周期任务上达到 SOTA,并先通过 Fairwind Program 向可信网络安全防御方开放,更广泛的开发者访问待定。

    推荐理由:汇总了 Gemini 4 Carbon 的第三方基准、定价与安全数据,并附上榜单重置与基准可信度的争议。

10月29日周四
  1. Hacker News 首页(≥150分)82

    Gemini 4 Carbon 登顶 Artificial Analysis Intelligence Index v5,编码智能体仍居第二

    Google 的 Gemini 4 Carbon 在 Artificial Analysis Intelligence Index v5 上以 59 分登顶,在 9 项评测中的 4 项排名第一,包括 HLE-Diamond、Terminal-Bench-Science、AA-Omniscience 和 AutomationBench-AA。

    推荐理由:Artificial Analysis 的评测显示 Gemini 4 Carbon 在 Intelligence Index v5 登顶,但编码智能体仍落后 Claude Opus 5.5,读者可据此比较两者的能力边界与成本。