针对商业AI一次性发布700多个数学证明引发的争议，菲尔兹奖得主陶哲轩、邓煜在SAIR访谈中指出，AI给出证明不等于人类理解了问题，呼吁改变只看解题的激励机制，并参与Open Math Model开放数学模型计划。
背景争议：商业AI一次性发布700多个数学证明，引发数学界对AI生成证明质量与意义的讨论。 核心议题：AI在数学证明中的角色边界——AI产出证明是否等同于人类理解问题，以及现有科研激励机制是否适配AI时代。
腾讯研究院（搜狐同步）
查看来源原文本期 6 件事。点击标题可查看卡片、来源与相关知识点。
开源模型质量逐步接近闭源模型后，应用开发者可通过分层独立的开源AI栈——**Model、Inference、Gateways and routers、Harness、Tools（Skills和MCP）**——在新模型发布时快速替换，而不必重建整个工作流。
Together AI博客文章 **The Open Source AI Stack**（作者 Hassan El Mghari，来源标注发布日期 9/9/2026，待核实）讨论：当开发者与组织因所有权、控制权和经济性转向开源模型时，需要理解哪些栈层。文章的核心问题是：使用开源模型进行 agentic software development，是否必须训练…
Together AI 博客
查看来源原文生数科技 Motus2 把行动、预测和评估放进同一世界模型，通过 Best-of-N 规划与基于模型的强化学习（MBRL）形成“生成动作→预测后果→评估结果→更新策略”的闭环，初步探索 RSI；文章称真机任务中规划+MBRL 将基础策略平均成功率从65%提升至75%，触觉与记忆模块也分别带来增益。
机器人学习拧灯泡时，如果拧歪，谁告诉它问题在哪、下次如何改？文章认为人类无法替机器人示范所有情况，机器人需要自评价动作结果并从反馈继续学习。生数科技发布 Motus2，文章称其在前代 Motus 基础上拓展视觉、语言、动作与触觉等模态，同时具备行动、预测、评估三种能力。
量子位
查看来源原文NOVA全国人工智能创意挑战赛决赛于9月5日举行，10支团队围绕真实场景展示AI创意项目，赛事传递的核心命题是：AI可以放大能力，但由人决定解决什么问题、服务谁以及坚持哪些价值。
材料称，9月5日（年份未标明，待核实），NOVA全国人工智能创意挑战赛决赛举行。此前经历4个月校园招募、作品提交与区域评选，来自众多参赛者的10支优秀团队来到现场。 赛事适逢香港科技大学成立35周年，由腾讯研究院联合香港科技大学商学院技术与商业生态研究中心、香港科技大学上海校友会共同发起，面向香港与内地大学生、高中生招募AI创意团队。 赛事关注点不是“用了…
腾讯研究院（搜狐同步）
查看来源原文材料称，陶哲轩、邓煜等25位菲尔兹奖得主联名发布声明，警告 AI 公司以 benchmark 为导向推进数学研究，已与数学共同体追求 conceptual understanding and insight 的目标出现 severe misalignment；声明不反对 AI 本身，但担忧数学研究、评价体系、人才培养与知识传承受到冲击。
量子位 2026-09-12 报道称，陶哲轩、邓煜等25位菲尔兹奖得主联合发起并作为首批签署人，发布一份紧急公开声明。声明全文链接为：https://mathandai.org/。 材料称，发起人因近期 AI 对数学领域冲击严峻，未走繁琐协商程序，而是紧急公开发布。 声明核心判断是：AI 公司越来越倾向把“解决数学问题”当作 benchmark 来推进，这…
量子位
查看来源原文腾讯研究院、腾讯云与腾讯WorkBuddy联合发布的《迈向自适应制造：制造业智能体实践白皮书》提出：制造业智能体的第一站往往不是生产现场，而是系统之间的数据断点；“上岗”的关键不是单点交付结果，而是嵌入可接收、可核验、可追溯的责任链，并在清晰边界内走向“受控的自适应”。
腾讯研究院、腾讯云与腾讯WorkBuddy联合编制发布《迈向自适应制造：制造业智能体实践白皮书》，希望把制造企业一线探索中跑出来的场景、方法和经验梳理成可复用的全景地图和行动指南。
腾讯研究院（搜狐同步）
查看来源原文