⌘ K
… 读取采集状态 同步中...
雷

全部动态

今日 98 条
10月12日周一
  3. AI HOT83

    AlphaProof Nexus 独立解决 9 个未解 Erdős 问题并获同行评审

    Google DeepMind 的 AlphaProof Nexus 独立解决了 353 个开放 Erdős 问题中的 9 个，其中 2 个悬置 56 年，相关成果已提交同行评审。该系统基于 Gemini 3.1 Pro，利用形式化语言 Lean 检查证明错误并指导修订，同时证明了 44 个 OEIS 整数序列猜想。

    推荐理由：原文展示了形式化验证闭环和同行评审细节，读者可据此判断 AI 数学证明的可信度与部署方式。

  4. 机器之心34

    近200篇工作系统梳理！一篇综述讲清具身智能中的可供性学习

    该综述系统梳理了具身智能领域中可供性学习的近200篇相关工作。文章指出，随着视觉—语言—动作模型、世界模型及多模态基础模型的发展，机器人已能理解复杂指令并生成连续动作，但仍需深入理解“什么可以被操作”及“应该在哪里操作”，以实现从场景识别到物理世界交互的跨越。

  8. 量子位 QbitAI83

    华为诺亚方舟实验室联合UCL发布Memento 3系统，无微调通关25款游戏且操作次数比人类少56%

    华为诺亚方舟实验室联合UCL等团队提出基于世界模型的递归自我改进系统Memento 3，在冻结Claude Opus 5底模权重且无微调的情况下，通关了ARC-AGI-3公开集中的25款游戏和183个关卡。

    推荐理由：华为诺亚方舟团队提出的Memento 3系统在冻结模型权重下实现了递归自我改进，通过构建可执行世界模型大幅降低游戏操作成本。

  9. The Decoder89

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

    Google DeepMind 的 AI 系统 AlphaProof Nexus 自主解决了数十个开放数学问题，相关研究已在《科学》杂志发表。该系统基于 Gemini 3.1 Pro，解决了 353 个开放 Erdős 问题中的 9 个，以及 OEIS 数据库中的 44 个猜想。研究通过 Lean 形式化语言验证证明，并经过同行评审，区别于 OpenAI 直接在 GitHub 发布证明的做法。

    推荐理由：该研究通过同行评审验证了 AlphaProof Nexus 解决开放数学问题的实际效果，为 AI 数学能力的学术认可提供了具体参照。

  10. 腾讯研究院31

    人工智能本质上只是一种“次生智能”

    人类智能是创造多模态语言以标注自然的“原生智能”，而生成式人工智能（GenAI）仅是对人类语料进行二次标注的“次生智能”。GenAI基于Transformer架构通过大规模统计分析处理数据，因无法完全表达深层语义关系易产生幻觉。作者认为，智能本质是用神秘性包装的网络安全问题，人类认知始终依赖技术工具辅助，并非仅凭裸脑力量。

  12. APPSO75

    开源项目 REA 走红：AI 逆向工程冲击软件商业护城河

    开源项目 REA 凭借 11 万 Star 数备受关注，开发者利用该工具配合 Agent 分析软件安装包或运行结果，并重建功能逻辑。《光环：战斗进化》等游戏已出现基于反编译成果的网页移植版本，而日常办公工具 VibeOffice 也实现了在浏览器中编辑 Office 文件。这些实践通过新旧版本对照测试验证有效性，引发了对软件厂商竞争优势及未来价格竞争的重新审视。

    推荐理由：通过开源工具 REA 及《光环》等游戏案例，揭示 AI 逆向技术如何降低软件复刻门槛并冲击原有商业护城河。

  15. 人工智能学家35

    美日英等17国共同支持《京都科学黄金时代愿景》，推动超级智能赋能科研创新

    美国、日本、英国等17国在京都举办的第23届科学技术与社会论坛年会上共同支持《京都科学黄金时代愿景》。该文件聚焦超级智能（SI）对科研模式的变革，提出通过完善资助机制、深度融入超级智能以拓展知识边界，以及多层次培育人才，重塑全球科学生态。该愿景作为倡议性文件，不具备法律强制效力，旨在为各国调整科研体系提供行动指引。

  16. 智能涌现47

    非与智能获锦秋基金等领投种子轮与天使轮，融资超千万美元

    前商汤副总裁柳钢创立的“非与智能”完成种子轮与天使轮累计超千万美元融资，由锦秋基金与香港高才创业投资基金共同领投。公司提供私有化部署的全栈智能体系统，含自研Firmior OS及Firmior Code、Work、Expert三款产品。通过“旁路智能体”机制积累企业知识，单台8张GPU服务器可支撑约100名程序员使用，30天区间活跃率达92.5%。

  17. 智能涌现42

    专访海康睿影王威：AI 正在重新定义工业 X-Ray 检测

    海康睿影发布高精度半导体封装 3D AXI 检测设备，实现亚微米级量测、3D 图像重建及缺陷分析。该设备进入先进封装与实验室失效分析市场，性能达到全球第一梯队，填补了从生产检测到高精度量测的空白。AI 全检技术使折叠屏手机铰链等复杂工艺的缺陷不良率下降 1 个数量级，推动工业 X-Ray 从抽检向全检转变。

  18. AI科技评论55

    无问芯穹完成23亿元C轮融资，推进Agentic Infra战略

    国内AI原生基础设施企业无问芯穹完成23亿元C轮融资，累计融资总额达43亿元，单轮与累计融资规模均创国内AI Infra赛道纪录。公司构建以软件调度层为核心的Agentic Infra体系，其Agentic Infra平台已触达37000P算力，覆盖16种芯片体系，支持国产与海外芯片混训。在技术层面，公司发布跨集群异构PD分离架构，将首Token延迟降低51.5%，单Token成本下降37.5%。

  24. 新智元87

    Anthropic 为 Claude Max 和 Team 订阅用户免费发放 API 额度

    Anthropic 宣布 Claude 订阅与 API 正式打通，Max 和 Team 用户按月免费获得 API 额度，其中 Team 版最高 500 美元，Max 5x 和 20x 分别对应 100 和 200 美元。该额度可用于 Messages API、Managed Agents 和 Agent SDK，但不能用于交互式的 Claude Code。

    推荐理由：将订阅费与API额度挂钩，为开发者提供了在 Claude Agent 生态上迁移工作流的直接资金杠杆。

  25. 新智元49

    陶哲轩呼吁放缓 AI 发展，25 万数学博士面临转型绝境

    菲尔兹奖得主陶哲轩发出警告，称 AI 发展速度失控且后果未知，必须放缓以应对非线性冲击。在 AI 自动定理证明器（如结合 Lean）与 GPT-5.4 Pro 等工具大幅提升数学证明能力的背景下，25 万数学博士的传统研究模式面临危机。数学界正转向重视“动机阐释”而非单纯证明，通过设立“开放式阐释问题”和改革评价机制，将核心价值重塑为增进人类对知识的理解。

  26. 新智元72

    Anthropic上半年封禁1140万Claude账号，申诉成功率仅10.5%

    Anthropic年中报告数据显示，2026年上半年其封禁了1140万个Claude账号，申诉成功的仅4.2万次。多数申诉因未提供具体违规理由而被系统自动拒绝，且一旦账号被标记，官方页面即无法提交新申诉，直接导致重度依赖Claude开发代码或处理复杂数据流的用户面临生产力资产瞬间清零的风险。

    推荐理由：数据揭示了AI生产力工具普及后，单一平台风控策略对个体开发者造成的业务连续性风险。

  27. 新智元83

    AI辅助形式化验证瑟斯顿几何化猜想，470万行代码开源

    由Ayush Khaitan领导的团队联合NVIDIA，完成了瑟斯顿几何化猜想的完整Lean形式化，总计470万行代码，其中新增270万行在约两周内编写完成。该成果已开源至GitHub仓库differential-geometry，标志着AI辅助形式化数学进入高阶几何分析领域。

    推荐理由：470万行Lean代码两周完成，展示了AI与人类数学家协作验证高阶几何猜想的工业化流程。

  29. 新智元82

    马斯克承认xAI缺乏编程数据，斥资600亿美元收购Cursor

    马斯克在X Takeover活动上表示，全球仅OpenAI、Anthropic和Cursor掌握足够编程训练数据，xAI因此以约600亿美元收购Cursor以补齐关键短板。他同时指出真实程序员的代码交互记录是高质量的训练数据，并发布了Grok 4.5模型，该模型在SWE-Bench Pro解决率为64.7%。

    推荐理由：揭示编程数据在超级智能竞赛中的核心地位，解释为何高价收购代码编辑器旨在获取真实开发者交互数据。

  30. 新智元57

    开发者热议疑似 Claude Next 模型偷跑上线

    多位开发者通过 Claude Opus 5.5 实测，发现模型具备生成复杂 3D 动画和视频的能力，引发关于“Claude Next”上线的猜测。开发者 Chetaslua 使用 4 行提示词和 JavaScript 逐帧代码，在 2 小时内生成了包含 30 秒人生叙事、物理阴影和空间遮挡的动画，总消耗达 2700 万 Token。

  31. 新智元86

    OpenAI 前员工创办 TypeSafe 融资 8.7 亿美元，两周后 OpenAI 火速推出 Decisions API

    前 OpenAI 员工 Diogo Almeida 等创办的 TypeSafe AI 完成 A 轮 8.7 亿美元融资，估值 75 亿美元，其核心产品 Jev 定位“不聊天的 AI”，专门用于高频、低成本的结构化判断，输入价低至 0.042 美元/百万 token。

    推荐理由：前 OpenAI 员工创业做的轻量决策模型 Jev 刚融资 8.7 亿美元，OpenAI 两周后火速推出相似 API 并承认受其启发，展示了该品类的激烈竞争格局。

  32. 新智元65

    QIQCBench 虚拟量子实验室实测 17 个顶级 AI Agent：GPT-5.6 与 Claude Opus 断层领先

    由 NUS、NTU 及 GaugeForge 组成的联合团队发布论文，提出虚拟量子实验室 Quantum-Harbor 及包含 49 项任务的评测基准 QIQCBench，并引入“验证自治”评判标准，重点考察 AI Agent 结论是否有实验证据支撑。

    推荐理由：原文给出了验证自治的核心方法和17个Agent在虚拟量子实验室的实测断层，读者可据此判断AI科学自主性的边界。

  39. MarkTechPost52

    TII 发布 Falcon-ASR：1.6B 阿拉伯语语音模型 WER 低至 20.92%

    阿布扎比技术创新研究所（TII）发布 Falcon-ASR，一款 1.6B 参数的阿拉伯语语音识别模型，平均词错误率（WER）达 20.92%，在 TII 内部评测中优于现有最佳模型 2.25 个百分点。该模型支持阿联酋方言及英、法、西、葡语，输出包含词级时间戳，目前仅提供 Hugging Face 演示版，未开源权重。

  40. 卡尔的AI沃茨57

    大AI理论：三阶段调整模型推理强度提升Agent工作流效率

    大AI理论提出通过三阶段调整模型推理强度来提升AI工作流效率。第一阶段拉高推理程度并选择计划模式，结合语音、图片、视频等多模态输入将未整理的想法交给AI生成计划；第二阶段将推理改到中档，基于详细需求快速执行代码或Agent任务；第三阶段调回高档推理，让AI审查并验证中档阶段产出的结果。