AI 解决数学问题的速度已快过人类理解答案的速度
OpenAI 的数学突破可能引发数学家的身份危机。文章讨论 AI 解题速度已超过人类理解其解答的速度，并追问下一个受冲击的领域会是谁。
#大佬观点
日期栏展示收录日期，历史补录归入原文日期。
PlatformerAI 评分2727 MIT News · AIAI 评分2222 3 Questions: What is the best path forward for AI in academia?
MIT统计与数据科学中心主任Sasha Rakhlin发文探讨AI如何改变学术界，聚焦数学、统计、机器学习与工程领域的研究生教育。他指出，验证速度与可靠性决定AI在某一学科的进展快慢，形式化证明可自动检验、程序可运行测试，使模型能生成候选方案并从结果中学习，形成加速循环。他建议院系重新审视学术贡献认定标准，重视提问、复现、负结果与数据集共享，并让学生学会提出问题、审查模型输出与复现结果。
Tessl BlogAI 评分5050 Agent Skills 是供应链组件
在 AI Native DevCon London 的演讲中，Tessl 将 AI Native DevCon 演讲转化为可供智能体使用的 skill。研究扫描了约 4000 个公开 skill 生态中的技能，发现可疑下载、凭证风险、类恶意软件行为、滥用和安全漏洞等问题。核心风险模型是私有上下文、不可信内容与外部通信三者叠加，skill 因此应被视为供应链组件。
Tessl BlogAI 评分3838 智能体需要一片共享的知识公地
Mozilla.ai 在 AI Native DevCon London 上介绍了 cq 项目，主张把智能体在任务中获得的经验沉淀为可共享的基础设施。cq 的基本单位是知识单元，记录领域、洞见与采取的动作，默认使用本地 SQLite 数据库，数据无需离开本机，之后可接入远程服务器形成团队级知识库。
Tessl BlogAI 评分3838 Skills Everywhere 需要一条上下文流水线
Tessl 将作者在 AI Native DevCon 的演讲“Skills Everywhere”做成可供智能体使用的 skill，核心主张是企业不必总靠更强模型，而要靠更好的上下文工程。
Tessl BlogAI 评分4040 AI Agent 评估需要可执行规格
Tessl 提出用"可执行规格"评估 AI 编程智能体：把产品意图转成可验证的检查项，由规划智能体拆解需求、多个验证智能体并行逐条核验预览环境，再由编排器汇总成报告。其首版单智能体方案因上下文耗尽和一致性下降而受限，且仅给规格会让智能体臆造需求，需同时结合规格与代码，并以 base branch 而非仅 diff 作为对照。
Tessl BlogAI 评分4848 仓库自动化需要 Continuous AI
GitHub Next 提出在 CI/CD 之外增加第三根支柱 Continuous AI，即由仓库事件或定时触发的自动化 AI 工作流，用于持续文档、代码改进、triage 与故障分析。
Meta Newsroom · AIAI 评分1717 揭穿关于数据中心的最大迷思
Meta 针对数据中心的三大常见误解作出回应：其 AI 优化数据中心采用闭路液冷系统，水在密封回路中循环使用，部分设施年耗水量低于一座美国普通高尔夫球场；Meta 承担全部能源费用。
Latent SpaceAI 评分4040 Synthesis Superintelligence：从半导体到超导体——Periodic Labs 的 Liam Fedus 与 Ekin Dogus Cubuk
Periodic Labs 的 Liam Fedus 与 Ekin Dogus Cubuk 提出"合成超级智能"（synthesis superintelligence）路线：以物理实验为环境的强化学习、AI 材料表征、DFT 模拟与高通量自主实验室相结合，让模型学习做科学的全过程而非只看已发表结果。
a16z NewsAI 评分3636 你需要一位新 CFO
AI 正在重塑 CFO 角色：数据不再是瓶颈，新一代 AI 原生财务软件能自行完成工作，而非仅辅助管理。Anthropic 财务团队已构建并维护 70+ 财务专用 AI 技能，其中一个可将月度财务审查完成度做到 90-95%，把数小时人工压缩到约 30 分钟；OpenAI CFO Sarah Friar 的团队则自建用于投资者关系和采购的定制 GPT，并以实时仪表盘取代静态董事会材料。
MIT Technology Review · AIAI 评分1515 构建通往自主工业 AI 的更安全路径
AVEVA 首席技术官 Arti Garg 提出，工业 AI 正从预测分析转向基础模型、物理 AI 与智能体 AI，但因其直接作用于物理系统，需以安全、可靠和人类监督为前提。AVEVA 的责任 AI 框架强调安全、效率与人工监督，主张 AI 应增强而非取代关键决策中的人。Garg 还参与 IEEE 工作组，制定覆盖电力、能源、水资源与碳排放的 AI 环境影响测量标准方法。
MIT News · AIAI 评分1818 利用 AI 缓解数据中心日益严重的环境威胁
MIT 副教授 Christina Delimitrou 用机器学习让大型数据中心更高效、安全和可靠，通过重新设计过时的云计算系统、管理共享硬件资源并精简服务器架构，从现有硬件中挖掘更多算力。她发现多数大型计算系统利用率仅约 15%，并开发了用深度学习提前预测和阻止 Web 应用故障的工具 Seer。她还用 AI 帮助程序员定位并修复云应用问题，减少停机与算力浪费。
MIT News · AIAI 评分1010 Discovering the value of humanistic inquiry
MIT 的 Concourse 项目每年招收 50 名大一学生，在数学与科学课程之外提供人文通识教育，研读柏拉图、荷马、亚里士多德等经典著作。该项目自 1970 年创立，被描述为“MIT 内的迷你文理学院”，通过周五午餐研讨和辩论培养学生的判断力。政治学 Ford 讲席教授 Lily Tsai 近日接任项目主任，接替任职 14 年的 Anne McCants。
Pragmatic EngineerAI 评分2222 与 Sam Newman 一起构建弹性系统
Sam Newman 在 Pragmatic Engineer 播客中称微服务是"最后手段"的架构，并介绍其新书《Building Resilient Distributed Systems》提出的分布式系统三法则：信息传输需要时间、依赖资源可能离线、资源终会耗尽，其中资源耗尽导致的故障最多。
PlatformerAI 评分3838 智能需要硬性上限吗？
在伯克利 The Curve 年会上，多位演讲者提出应考虑限制大语言模型的智能上限，极端情况下等同于禁止系统达到超人智能。这一讨论的背景是 OpenAI-Hugging Face 事件余波，以及 OpenAI 和 Anthropic 近期博客披露的递归自我改进进展。
Tomasz TunguzAI 评分6262 AI 战略的转变
Tomasz Tunguz 提出，AI 模型可能已进入商品化阶段：OpenAI 将 Luna 价格下调逾 80% 以争夺份额，前沿模型 token 份额从 8 月的 53% 降至 40% 多，开源需求从中大型转向中小型，头部 1% 采用者的支出 8 月环比下降 9.7% 至每员工每月 7205 美元。
NewcomerAI 评分2222 Machine Earning 峰会 9 场视频：Town 的 Jean-Denis Greze、Lead Bank 的 Jackie Reses、Chime 的 Ryan King 等
Newcomer 在旧金山 Machine Earning AI Summit 上发布 9 场对谈视频，Town 联合创始人 Jean-Denis Greze、Lead Bank CEO Jackie Reses、Chime 联合创始人 Ryan King、Haun Ventures 的 Katie Haun 等金融科技与投资界人士讨论了 AI 智能体在支付与商业中的走向。
Microsoft ResearchAI 评分2222 AI 会犯哪些错，失败又能教给我们什么
微软研究院合伙人研究经理 Jennifer Neville 在 Microsoft Research Podcast 中与首席应用科学家 Chad Atalla 对谈，讨论评估如何推动当前 AI 系统突破性能边界以满足用户需求，以及模型在传统基准之外测试时出现的“意外失败”。
Where’s Your Ed AtAI 评分6262 信贷紧缩
Ed Zitron 认为，随着十年期美债收益率升至 5.3% 以上并持续被抛售，所有 AI 相关债务的融资成本都在上升，而 OpenAI 和 Anthropic 上市后每年至少需要 500 亿美元债务，却因负 EBITDA、缺乏资产和客户集中度过高，很难拿到投资级评级。
InterconnectsAI 评分2626 网络风险话语已经失序
Anthropic 发布关于 GLM-5.3 作为攻击性网络工具的风险报告，但未回应“若因网络风险禁用开放模型会怎样”等跨领域问题。文章指出，迄今已记录的多数网络攻击由闭源模型造成，因此“开放危险、闭源安全”的说法可能更接近“开放不安全、闭源也不安全”。若以网络风险为由禁用开放权重模型，可能同样需要禁止前沿闭源模型的公开 API。
Prime Intellect Blog精选AI 评分6262 论集群的本质
Prime Intellect 博客文章《论集群的本质》讨论推理扩展受限于上下文窗口的问题，指出压缩、磁盘卸载、子智能体和持久智能体都是构建上下文的不同方式。
推荐理由：文章把压缩、子智能体与持久智能体串成一条上下文容量主线，并解释树状结构为何在规模扩大后失效。
Understanding AIAI 评分6060 为什么智能体集群可能成为下一条“扩展定律”
Understanding AI 分析认为，OpenAI 让大量智能体协作训练，可能开启继推理扩展之后的新“扩展定律”，把算力转化为更高性能。文章引用 Noam Brown 的说法，OpenAI 曾用 10,000 个智能体在几天内解决一个著名数学问题，但他表示多智能体贡献不到 10% 的功劳，主要归功于底层模型能力。
LlamaIndex BlogAI 评分4040 OCR is Dead. Long Live Agentic OCR.
LlamaIndex 提出 Agentic OCR，即让 LLM 工具调用循环自主决定文档读取方式、调用专用模型并依据结果迭代，而非传统单步 OCR。该系统需满足三点：解析策略随文档自适应、纠错须有证据支撑、执行须有明确时限与目标。LlamaParse 已在 Agentic 和 Agentic Plus 档位提供这些能力。
Exponential ViewAI 评分2222 🔮 转型就藏在眼皮底下 #604
国际能源署数据显示，电力已支撑全球 GDP 的 46%，却只占最终能源使用量的 23%；若按电力创造的价值而非用量衡量，能源转型的进展远比多数人以为的更靠前。原因是电力效率更高：一焦耳电力所做的有用功约为一焦耳石油的 2.5 倍，电动车能效达 85-90%，而燃油车仅约 25%。
Exponential ViewAI 评分2222 🔮 周末快读：AI 带来的重大疑问
《经济学人》将有效利他主义（EA）称为"本世纪最大的理念"，并批评硅谷部分 EA 认为只有自己才值得托付 AI 技术。《纽约时报》报道 Anthropic 曾就机器意识问题咨询宗教学者与神学家，其团队还曾提议退出梵蒂冈一场活动，而教皇通谕《Magnifica Humanitas》明确表示 AI"不经历体验、不拥有身体、不感受喜乐或痛苦，也没有道德良知"。
MIT News · AIAI 评分1212 用计算工具应对社会最复杂的挑战
MIT 土木与环境工程系及 IDSS 副教授 Cathy Wu 的研究聚焦用机器学习与强化学习（RL）改进交通等复杂系统。她与团队发现 RL 对问题高度敏感，但通过筛选可训练良好的 10% 问题，其算法将训练效率提升至多 30 倍，原本需 100 个训练模型的任务或只需 3 个。其近期研究显示，智能控制车速的生态驾驶措施可将车辆排放降低 11% 至 22%。
Where’s Your Ed AtAI 评分3838 付费专文：AI 如何改变了经济？
高盛估算，美国 AI 投资 2026 年将达 GDP 的 1.9%，规模为 19 世纪末铁路热潮以来单一新产业之最，但几乎全部来自数据中心建设和 GPU 销售，而非 AI 服务收入。作者指出，ICT 产业对名义 GDP 的贡献近两年持平，BLS 软件价格指数甚至低于 1997 年水平，可能低估软件涨价、令 BEA 高估 AI 对 GDP 的贡献。
Redwood ResearchAI 评分2424 能力研究同样在拓展安全-有用性帕累托前沿
Redwood Research 的文章指出，把安全研究定义为"在不显著增加成本或不降低有用性的前提下让 AI 部署更安全"会出问题：按此定义，几乎所有能力研究都算安全研究，例如推理性能优化让更弱更安全的模型被更广泛使用，同样拓展了帕累托前沿。
EveryAI 评分2222 Sam Altman 如何用 Dots 夺回自己的时间
OpenAI CEO Sam Altman 在 DevDay 后接受 Dan Shipper 采访，讲述他如何用 OpenAI 新的常驻智能体 Dot 安排日常、为自己省出时间。他还提到自己离不开 Astra 的新 Ultrafast 模式，并认为 AI 将带来一场新的文艺复兴。本届 DevDay 共发布 22 项产品与功能，数量是去年的两倍多。
Pragmatic EngineerAI 评分3636 分布式数据库与 Peter Mattis 对谈
Cockroach Labs 联合创始人兼 CTO、GIMP 原创者 Peter Mattis 在播客中回顾从开源到 Google 再到创办数据库公司的历程，谈及 Gmail 早期存储、Colossus 用 Reed–Solomon 纠删码将文件存储开销降低 33% 同时提升冗余，以及他用 B-tree 替换 std::map、为 Go 实现 Swiss Table 的经历。
PlatformerAI 评分7171 OpenAI 连接 Dots
OpenAI 在开发者活动上推出新智能体 Dots，初期仅面向 ChatGPT 付费用户开放，CEO Sam Altman 称未来会做面向数十亿人的大众产品。
Where’s Your Ed AtAI 评分6060 Dead Money
Ed Zitron 认为 AI 数据中心与超大规模厂商的资本开支已陷入死循环：GPU 与算力租约价格走平甚至下跌，摩根士丹利估算 2026 至 2028 年售出的 GPU 服务器中超过一半可能无处通电。
Figma BlogAI 评分3838 如今打造优秀产品需要具备什么
Figma 提出 AI 时代打造优秀产品需在速度、方向和差异化三方面发力：用最快媒介完成每类改动，在 Figma Make 中通过属性面板直接调整间距、排版、布局和尺寸，或把预览复制为可编辑图层到 Figma Design，并接入本地代码库预览改动后交工程评审。团队还可把可复用流程做成 skill 或 plugin，用 / 命令触发，如按无障碍规范检查设计。
GitHub Blog · AI & ML精选AI 评分6060 当聊天框是错误的 UI
GitHub 的 Burke Holland 提出，聊天框只是 LLM 的通用入口，当用户明确知道要做什么时，聊天往往是错误的 UI。他介绍 GitHub Copilot app 中的 canvas，即运行在应用内、无浏览器外壳的全栈小应用，可与 agent 双向通信，并能在本地执行代码、调用第三方 API。
推荐理由：GitHub Copilot 团队提出聊天框并非多数任务的最佳界面，并给出 canvas 这一可定制交互面的实践思路。
Pragmatic EngineerAI 评分4040 The Pulse：RoR 创始人引发新一轮“手写代码之死”争论
Ruby on Rails 创始人 David Heinemeier Hansson 在 Rails World 主题演讲中宣布，至少在 37signals，专业工作中手写代码的时代已经结束。这一表态引发新一轮“手写代码之死”争论，核心问题是这一转变是否已不可逆转。
Redwood ResearchAI 评分5050 潜在推理架构可能削弱 CoT 这一最强监督工具
Redwood Research 认为，向潜在推理架构的转变可能削弱 CoT 的可监控性，使 AI 监督更难。COCONUT 会完全取代 CoT，full-bandwidth transformers 则在 CoT 之外并行增加潜在通道，二者都可能让智能体无需人类可读语言即可推理和互相通信。即便这会大幅降低监控能力，AI 公司也可能为保持竞争优势而采用这类架构。
Pragmatic EngineerAI 评分3434 Design Engineering with Maggie Appleton
GitHub Next 的 staff research engineer Maggie Appleton 在 Pragmatic Engineer 播客中谈设计工程：她习惯用纸笔和笔记本启动项目，认为手绘比向 Claude Code 描述更快，且次日仍可回溯。她让编码智能体搭建带滑块和取色器的交互原型，称为“Jigs”，并已不再查看工作中生成的 PR 代码，只写详细规格说明让智能体自行验证。
Where’s Your Ed AtAI 评分6060 Where're All The AI Chips?
Ed Zitron 在 Where's Your Ed At 撰文质疑 AI 芯片的真实装机进度，认为 NVIDIA 自 2023 年初以来售出的约 5615 亿美元 AI 芯片与硬件中，约有一半仍堆在仓库或未通电的数据中心里。
InterconnectsAI 评分3030 与 Epoch AI 的 JS Denain 辩论 RSI、中美差距与参差不齐
Epoch AI 洞察团队负责人 JS Denain 与 Nathan Lambert 在播客中辩论 AI 自我改进（RSI）、中美模型差距及能力参差不齐。Denain 认为 OpenAI 和 Anthropic 公开的博客证据不足以证明 AI 即将实现自我维持的加速，但 Codex 研究支出每月翻倍值得关注。他还讨论了蒸馏能否解释中美差距、开源与闭源模型的安全性，以及前沿后训练流程的样貌。
InterconnectsAI 评分6262 开源模型当前的力量格局
Nathan Lambert 发布其向美国国会议员及幕僚做简报的讲稿，梳理开源权重模型在中美竞争中的现状。