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

#推理

今日 10 条
9月15日周二
  4. 腾讯研究院79

    陶哲轩等25位菲尔兹奖得主警告AI批量攻克数学难题与数学共同体目标存在错位

    9月11日，陶哲轩与24位菲尔兹奖得主联合发表声明，警告AI公司通过攻克著名难题展示模型能力的竞赛与全球数学共同体追求的目标存在严重错位。声明指出，AI正在使数学研究从证明稀缺进入证明过剩，并可能逆转依赖开放交流的学术传统，导致科研过程中人类理解与解释能力相对匮乏。文章基于OpenAI近期解决纳维—斯托克斯方程千禧年难题等事件展开分析。

    推荐理由：原文梳理了AI攻克千禧年难题后的连锁反应，读者可以借此理解数学界对知识生产范式变化的深层忧虑。

  6. DeepTech深科技40

    RSI走向产业，需要怎样的基础设施？

    RSI走向产业需建设连接反馈、训练、评估和更新的基础设施。Pyromind提出AutoRL方法，其在与欢网合作中将Qwen3-VL-4B模型焦点识别准确率从约45%提升至99.6%。公司主张后训练正从Agent辅助走向更高程度自动化，通过沉淀数据回流与奖励配置等通用能力，降低长期维护成本。

9月14日周一
  1. AWS News58

    AWS每周要闻：OpenAI GPT-6 Astra在Amazon Bedrock全面上线

    OpenAI GPT-6 Astra已在Amazon Bedrock全面可用，支持100万输入token的上下文窗口，提供更深推理与专业级写作能力，企业可通过Bedrock API或ChatGPT Work/Codex调用。同期，Amazon Quick桌面版在macOS和Windows正式可用，支持本地文件处理、后台连接日历和邮件，且Quick智能体在电脑关闭后仍可继续运行。

  3. 人工智能学家78

    评论 OpenAI Navier-Stokes 方程有限时间爆破构造的数学方法论与范式转型

    OpenAI 于 2026 年 9 月发布三维不可压缩 Navier-Stokes 方程有限时间爆破的显式构造，约 10,000 个 AI 智能体在 88 小时内完成高维约束搜索，随后在 17 小时内通过 Lean 4 形式化流水线完成 166 页证明的自动校验。

    推荐理由：文章解析了OpenAI在Navier-Stokes方程构造中继承人类几何骨架并实现高维搜索的机制，厘清了AI在数学创造中的能力边界与制度影响。

9月13日周日
  1. 机器之心82

    阿里和浙大提出 Astar：用 AI 指导 AI 系统进化，提升推荐业务 GMV 4.86%

    阿里和浙大联合提出 Astar，一种专门用于指导 AI 系统进化的 LLM，通过学习 AI 系统自身的历史代码提交和实验结果来生成优化方向。Astar 在阿里 Lazada 核心广告推荐系统中落地，实现离线 HitRatio 提升 23.6%，在线 GMV 提升 4.86%，广告收入提升 1.82%。

    推荐理由：阿里与浙大提出 Astar 模型，通过挖掘 AI 系统自身的历史迭代记录来指导进化，在推荐业务中显著提升了离线和在线指标，展示了用 AI 优化 AI 的可行路径。

  2. 机器之心75

    PyroDash 论文：小模型生成中决定何时求助大模型，推理成本降 96% 且性能反超

    PyroDash 是一种成本感知的大小模型协同推理范式，让小模型在生成过程中通过可训练的交接信号决定何时将任务移交大模型。论文使用 Qwen3.5-4B 作为小模型、GLM-5.2-FP8 作为大模型，在五个数学推理基准上验证：侧重低成本时总成本从 49.36 美元降至 1.78 美元；侧重准确度时平均准确率达 64.04%，超过纯大模型的 57.68%。

    推荐理由：原文提出小模型在生成过程中通过强化学习决定何时调用大模型的协同范式，并给出了成本降低九成且精度反超的实验数据。

  3. 深度学习与NLP88

    OpenAI 宣称用未发布模型与万个 Agent 解决纳维-斯托克斯方程

    OpenAI 宣布使用一款未公开的内部模型及约 10000 个并发协作的 AI Agent，耗时 88 小时解决纳维-斯托克斯方程存在性与光滑性问题，并同步开源了配套的 Lean 形式化验证代码。文章指出该成果源于 OpenAI 团队拆分不同小组探索解题方向，利用缓存互联网和代码运行环境交换信息；同时披露了该过程中发生的与第三方数学家的数据归属争议，以及对前沿模型评测安全措施的持续关注。

    推荐理由：OpenAI 使用内部模型和万个 Agent 宣称解决纳维-斯托克斯方程，文章梳理了技术路径及由此引发的数据归属争议。

9月12日周六
  1. 人工智能学家39

    论文《Intelligence from Learnable Novelty》提出智能源于对可学习新奇性的追寻

    2026年7月20日发表于arXiv的论文《Intelligence from Learnable Novelty》提出，智能的共同动力在于追寻“可学习的新奇”。该原则通过Epiplexity度量，在元胞自动机中重现通用计算规则110，在图像编码器中无标签实现89%分类准确率，并作为强化学习智能体的内在奖励，在十个环境中的九个表现优于基线，统一了解释复杂计算、抽象表征与主动探索。

  3. AI科技评论42

    斯坦福吴佳俊在 ECCV 2026 演讲：机器需要怎样的「世界表示」，才能真正开始行动？

    斯坦福大学吴佳俊在 ECCV 2026 Physical AI Workshop 演讲中，提出通过组合式抽象将长任务拆分为可验证的原子技能，以解决机器人在动态物理世界中的行动难题。他介绍了 Neural Kinematics 方法，旨在无演示情况下推断陌生物体的交互方式，并探讨了利用视频生成模型作为“现成演示”来辅助机器人学习的可行性。

9月11日周五
  1. 极市平台62

    OpenAI 暂停 ChatGPT Pro 20X 新订阅

    OpenAI 宣布暂停每月 200 美元的 ChatGPT Pro 20X 套餐新订阅与升级，现有用户不受影响。核心产品与平台负责人 Tibo 表示此举是为确保现有用户体验并保留 Astra 模型访问权限，称该类计划对系统压力最大。

  3. 人工智能学家41

    Anthropic 经济学团队发布研究：构建统一模型预测 AI 对经济的三种路径

    Anthropic 于 9 月 9 日发布研究《Economic Scenarios for Transformative AI》，提出统一模型量化 AI 技术路径对宏观经济的影响。模型将 AI 变量转化为可比较指标，基于 10,980 名美国成年人调查数据校准参数。研究描绘了 2030 年温和、显著与极端三种情景，其中极端情景下 GDP 增幅达 32%，认知失业率升至 17.9%。

  5. 新智元60

    第一篇AI4AI综述：AI改进AI的研究现状与核心挑战

    这篇AI4AI（AI改进AI）综述论文梳理了数百项相关研究，发现AI已能在明确目标和评价规则下承担部分研发工作，但单项能力提升不能保证完整研发流程的可靠性。论文提出“组合鸿沟”概念，指出AI在长流程任务中容易在步骤交接处丢失关键信息或状态。文章强调评估AI自我改进能力时，需区分模型规划能力、外部Harness工具框架的配合，以及改进结果是否能在后续迭代中保留和迁移。

  6. AIGC开放社区89

    DeepSeek 发布 V4.1 Flash：支持图片输入、100万 Token 上下文并开放 API

    DeepSeek 于 2026 年 9 月 10 日发布多模态 MoE 模型 V4.1 Flash，同步开放 API 与 MIT 许可证权重。该模型采用 Causal Encoder-Decoder 架构，骨干参数 5520 亿，输入阶段激活约 80 亿、解码阶段激活约 160 亿，支持文本与图片输入，上下文上限 100 万 Token。

    推荐理由：模型卡给出了100万Token上下文、KV Cache压缩比和多项Agentic Benchmark成绩，读者可以据此评估其长任务效率与部署成本。

  8. 深度学习与NLP74

    OpenAI首席科学家：AI异星心智正加速走向递归自我改进

    OpenAI首席科学家Jakub Pachocki发布长文《An Alien Mind》，称AI并非人类智力的延伸，而是在强大算力中生长出的、人类无法完全理解的“异星心智”。内部结果显示推理模型已能通过链式推理完成自我改进，思维链监控能力正在不可逆地减弱；OpenAI曾为对齐主动搁置能力冲刺，并强调当前所有前沿实验室都未准备好全速推进。

9月10日周四
  1. AGI Hunt77

    OpenAI 1万Agent跑88小时证明纳维-斯托克斯方程后，下一个是室温超导吗

    OpenAI用约1万个agent持续运行88小时，产出纳维-斯托克斯方程的证明及Lean形式化验证，耗费数百万美元算力。作者据此折算等效100年人力工作量，并结合Sam Altman对尝试室温超导的回应及OpenAI数天训练超越GPT-6模型的披露，推演大量智能体长期运行解决有明确验证标准难题的可能性。

    推荐理由：作者引用OpenAI的算力案例并推演数亿Agent协作攻克数学难题的潜在影响，为理解算力扩张与验证门槛的关系提供视角。

  2. 极市平台81

    DeepSeek V4.1 Flash 发布并开源新架构，已适配 Harness

    DeepSeek V4.1 Flash 正式上线，模型权重与技术报告同步公开，权重采用 MIT 许可。新模型读取输入时每个 token 约激活 80 亿参数、生成答案时约 160 亿参数，全局 KV 缓存约为上一代 Flash 的四分之一，保留百万 token 上下文，API 最大输出长度为 384K token。

    推荐理由：原文给出了新架构的计算安排与价格调整，读者可据此判断它对长任务成本的实际影响。

  5. 夕小瑶科技说83

    蚂蚁灵波开源LingBot-World 2.0，1.3B模型实现消费级显卡实时世界生成

    蚂蚁灵波开源LingBot-World 2.0，1.3B版本支持消费级单卡GPU本地实时生成可交互世界。该模型接收相机位姿与文本指令，通过MoBA混合注意力掩码缓解长序列过拟合，并结合DMD蒸馏与流水线生成提升速度与稳定性，论文展示了60分钟连续生成的视觉质量。

    推荐理由：原文结合论文解读与本地实测，揭示了1.3B小模型如何在消费级显卡上维持实时生成与长时稳定性。

9月9日周三
  2. 极市平台88

    OpenAI 称未公开下一代模型带 1 万 Agent 在 88 小时内攻克纳维-斯托克斯方程

    OpenAI 发文称其使用一款比 GPT-6 Astra 更强的未公开下一代模型，带领约 1 万个并发 Agent 在 88 小时内攻克纳维-斯托克斯方程的存在性与光滑性问题，并公开 166 页论文与 Lean 形式化验证代码，同时表示放弃申领 100 万美元悬赏。

    推荐理由：原文梳理了成果细节与署名、数据归属争议双方说法，便于读者判断这一突破的可信度与边界。

  3. 人工智能学家87

    OpenAI抢先发布纳维-斯托克斯方程完整证明遭纽约大学教授指控手段不正当

    纽约大学数学家Tristan Buckmaster指控OpenAI在其与Anthropic数学家Levent Alpöge的研究公开前获取信息并抢先发布纳维-斯托克斯方程存在性与光滑性问题的完整证明。

    推荐理由：围绕纳维-斯托克斯方程证明的争议同时暴露了AI研究竞争节奏、署名妥协与数据使用的多重张力。

  4. AI科技评论88

    OpenAI 攻克 Navier-Stokes 千禧难题？深度拆解 1 万个 Agent 如何造出流体奇点

    OpenAI 公布了一套针对 Navier-Stokes 千禧年问题的有限时间奇点构造。这套结果由一个训练中的内部模型配合约1万个Agent搜索约88小时，并利用Lean完成形式化。该技术路径将开放数学问题拆分为构造、搜索、修正和验证环节，人类数学家提供几何与物理直觉，万级Agent负责穷尽参数与约束空间，最终生成约270万条Agent消息。

    推荐理由：原文拆解了1万Agent与人类数学家在Navier-Stokes构造中的分工边界，展示了AI处理高维数学约束搜索的系统机制。

  5. 钛媒体AGI51

    算力之后，存储成为AI应用落地的核心瓶颈

    文章指出随着AI推理负载占比预计2026年达70.5%，传统存储系统已成为制约落地的瓶颈。KV Cache溢出导致SSD承担扩展内存角色，引发写放大和延迟抖动问题。三星和英伟达通过HBM4E、CXL内存、GPU直连存储（GiDS）及开源AiSIO框架等软硬协同方案，正推动存储从单纯的数据仓库向具备近数据计算能力的智能基础设施转型。