跳到正文
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日周六