跳到正文
10月13日周二
10月12日周一
  1. The Decoder75

    Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并成功通过同行评审

    Google DeepMind 的 AlphaProof Nexus 解决了 353 个开放 Erdős 问题中的 9 个,其中两个已悬置 56 年。该系统基于 Gemini 3.1 Pro 构建,使用 Lean 语言进行形式化证明,并额外证明了 44 个 OEIS 整数序列猜想,解决了代数几何中的一个开放问题,改进了用于训练某些 AI 模型的 min-max 优化技术的已知边界。

  2. 量子位85

    华为诺亚方舟实验室发布Memento 3 AI系统,实现游戏操作效率超越人类56%

    华为诺亚方舟实验室联合UCL等团队开发的Memento 3 AI系统,在ARC-AGI-3的25款游戏、183个关卡中取得满分100分的RHAE成绩,操作次数比人类少56%。该系统以Claude Opus 5为底模,通过Code as Model方法实现递归自我改进,无需更新模型权重或微调即可通关。研究团队还让该系统挑战Atari Pong游戏,在掌握规则后无需调用大模型即可连续三局21:0获胜。

    推荐理由:华为团队提出基于世界模型的递归自我改进方法,在不更新模型权重的情况下实现游戏AI性能大幅提升。

  3. 华尔街见闻85

    微软发布基于阿里Qwen的决策模型Microsoft-Decision-1

    微软于10月12日推出基于阿里Qwen3.5-9B后训练的决策模型Microsoft-Decision-1,在结构化决策任务中时延和准确性超过LLM及Jev 1.13.0等模型。该模型已在微软内部处理超过1万条玩家反馈,并在事件响应、质量控制、科学发现等领域进行测试,测量速度是亚军模型的2.5倍,GPT-6 Sol的35倍,输入代币成本为每百万代币0.042美元。

  4. 华尔街见闻78

    Jefferies警告AI或致美国资本大毁灭,份额流向中国开源模型

    杰富瑞策略师将当前AI繁荣与2008年次贷危机相提并论,指出美国超大规模云厂商向两家亏损AI实验室提供巨额无担保信用,可能导致大规模资本毁灭,市场份额将流向中国开源模型。数据显示中国顶级模型处理量十周内翻一番,Kimi K3性能已达Claude Fable 5的95%。

    推荐理由:原文揭示了AI行业债务风险与资本集中问题,提供了中美模型竞争的最新数据。

10月11日周日
  1. 钛媒体76

    Manus完成5亿美元融资恢复独立运营,估值达40亿美元

    AI科技公司Manus宣布完成超5亿美元融资,由博裕投资、IDG资本领投,老股东腾讯、红杉中国、真格基金继续支持。这是Manus恢复独立运营后的首笔外部融资,也是国内AI应用领域披露的最大单笔融资。Manus估值从去年年初的5亿美元攀升至市场传言的40亿美元。同时,Manus推出2.0版本及独立个人Agent应用Cue,并发布十余个岗位的招聘计划。

  2. IT之家40

    高通工程师质疑 Linux LTS 发行版在 AI 时代的适配性

    高通工程师 Khem Raj 在 Linux Plumbers Conference 上质疑 Linux LTS 发行版在生成式 AI 时代的适配性,认为滚动更新模式可减少补丁回溯需求并加快安全修复。他指出 AI 编程智能体加速补丁提交给开源维护者带来巨大负担,LTS 版本实用性需重新评估。Raj 提出可尝试利用生成式 AI 工具辅助维护 LTS 版本发布。

10月10日周六
  1. Simon Willison45

    Deno 加入 Cloudflare

    Cloudflare 收购 Deno,将基于其开源项目 celld 发展 workerd 自托管方案,支持 Workers 编程模型。Deno 运行时仅维护一年后停止开发,但保持开源。Ryan Dahl 称 Deno 因兼容 Node.js 未能解决核心问题,转向构建新服务器抽象模型。