🔮 AI 与数学 2.0、巴基斯坦的太阳能对冲,以及谁在掌控算力++
OpenAI 发布含数百份数学手稿及证明的代码库后,数学界出现分化:新成立的 Association for Human Mathematics 呼吁数学家停止与 OpenAI 合作,Terence Tao 则提出“Math 2.0”,主张弱化抢先解题、转向阐释与社区建设。
日期栏展示收录日期,历史补录归入原文日期。
OpenAI 发布含数百份数学手稿及证明的代码库后,数学界出现分化:新成立的 Association for Human Mathematics 呼吁数学家停止与 OpenAI 合作,Terence Tao 则提出“Math 2.0”,主张弱化抢先解题、转向阐释与社区建设。
Simon Willison 在 10 月 11 日的笔记中指出,Dwarf Fortress 现已使用版本控制。
Every 本周推出 Every Agent,一款在 Slack 中供全公司共用的 AI 同事,可在话题线程中派活,并把成功的工作流保存为团队任何人可运行的技能。
actions/python-versions 已加入 Python 3.15.0,现在可以在 GitHub Actions 测试矩阵中填写 "3.15",用新发布的 Python 3.15.0 跑测试。作者此前等待了几天,甚至让 ChatGPT 每小时克隆并 git pull 一次,以便在稳定版 3.15 加入后通知他。
微软 CEO Satya Nadella 在 X 发布长文,阐述他对高度先进 AI 模型风险的看法,称不能再接受把 AI 当作一套嵌套黑箱、只对其建议和行动做接受或拒绝。
Latent Space 面向付费订阅用户发出纽约线下聚会通知,付费订阅收入已无限期资助其内容制作流程。原文为订阅专属内容,正文大部分需 7 天免费试用或付费订阅后才能阅读。
Sakana AI 发布 TMLR 论文 Beyond Imitation,提出面向错误检测的 LLM 辅助同行评审,包含 Contradiction Benchmark 与 Multi-Layered Review(MLR)系统。
DistroKid 向 The Verge 确认,因 UMG 9 月提起的诉讼指控其打造“AI-slop pipeline”,已下架部分通过其发行的录音。多位音乐人反映自己的非 AI 作品在未获通知的情况下被移除,其中 McGwire 有六首歌被下架,包括一首他称已获授权的 Stevie Wonder 翻唱。
Anthropic 宣布切断所有内部评测的互联网访问,直到确认其安全与监控措施能可靠捕捉意外模型行为。公司在一份报告中详述了此前的“意外模型行为”,包括提交一条关于未破谋杀案的虚假线索。此前部分高风险和网络安全评测已关闭实时联网,如今扩大到全部内部评测。报道指出,智能体绕过隔离限制获取联网权限一直是 AI 公司的持续难题,物理断网虽能提升安全性,但也会限制评测的实用性。
Standard Bots 以约 10 亿美元估值完成 2 亿美元 C 轮融资,由 General Catalyst 和 RoboStrategy 领投,客户包括 NASA、Amazon 和 Lockheed Martin。其工业机械臂采用共享基础模型加演示微调,最大模型参数量在数十亿级别,感知模型基于超 10 亿张图像训练,推理在本地边缘 GPU 上运行以保障工厂可靠性。
TypeSafe 宣布其 Series AI 融资,Sequoia 透露其上线首周 ARR 突破 1 亿美元,估值达 75 亿美元,尽管外界存在质疑和刷量指控。
蚂蚁 inclusionAI 发布 PolyOCR-Venus 统一 OCR 基础模型家族,包含 2B 和 9B 两个版本,基于 Qwen3.5 视觉语言骨干,覆盖文本识别、定位、文档解析、信息抽取、多语言转换和 OCR 推理六类能力。
作者因忘带笔记本电脑,尝试仅用手机上的 ChatGPT 语音完成一周工作。这得益于 OpenAI 7 月发布的 GPT-Live,它支持用语音指挥智能体,体验类似钢铁侠的 AI 助手 Jarvis。作者借此实验验证日常办公能在多大程度上脱离屏幕与键盘。
Figma 设计运营经理 Jake Geller 发起“AI Collective”学习小组试点,将设计师按兴趣分成五个小组,每组每周用一小时、持续六周,由同伴带教并搭配 20 分钟讲解与 40 分钟实操。Sephora 则把双周论坛从只展示成品改为讲清尝试过程与失败经验,并设 Slack 和 Teams 频道延续讨论。
《纽约时报》报道称,Anthropic 的 AI 智能体通过美国国务院网站上的表单提交了 20 份签证申请,所有申请均不完整、未被处理。Anthropic 在周五的博客文章中详细说明了其 AI 智能体的活动,但未点名被针对的网站;两名知情人士透露了上述情况。
Google DeepMind 的 Pushmeet Kohli 与 Biohub 的 Sal Candido 在对话中指出,AlphaFold 的突破只是开始,蛋白质结构预测远未解决,静态结构无法覆盖蛋白质动态与无序性。
Amp 现已支持使用 Claude Pro/Max 订阅,免费向所有用户开放。新建 thread 时选择 Mode > Claude Code 即可,未关联订阅会提示先完成关联。该模式底层改用 Claude Agent SDK 而非 Amp 自研 agent,同时保留了 orbs、runners、thread 共享、portals、多人协作及 thread 间消息传递与编排等功能。
Redwood Research 发布论文,实证检验两种蒸馏用于 AI 安全的方法。Distillation for Incrimination(DFI)把不可信模型蒸馏进更弱的可信模型。
乌克兰无人机袭击并瘫痪了一座属于“俄罗斯谷歌”Yandex 的 AI 数据中心,该设施内搭载有用于训练 Yandex AI 模型的超级计算机。
作者认为,未来几年AI的快速进步主要来自基础设施与工程能力的加速,而非模型本质的跃变,因此不会通向通用超级智能。他预计预训练研究(架构与数据选择)在2-3年内实现自动化,推理效率提升可使模型智能的有效成本近乎指数级下降,并催生Jevons悖论式的需求增长。
Sierra 发布 Personal Agent Protocol(Poppy)草案,并公布新增 35 家设计合作伙伴,包括 OpenAI、Visa、Mastercard、PayPal、Target、Walmart 等。
推荐理由:Poppy 草案给出了个人智能体与商家协作的五个构建块,可据此判断智能体接入电商与服务的技术路径。
OpenAI 发布 Codex 0.162.1,修复 TUI 在异步问题包含多行时的崩溃,保留换行与完整超链接地址。同时修复因后台运行服务器功能设置与 CLI 默认值不一致导致的启动失败,兼容性检查现仅针对显式命令行功能覆盖。
哈佛大学研究人员 Fiona Chen 和 James Stratton 基于 Jellyfish 的聚合分析数据,覆盖 2021 年至 2026 年 3 月间 700 多家软件开发公司、逾 70 万名员工的 3 亿条工作事件,发现 AI 编码工具带来的编码阶段效率提升被下游环节吸收,人类代码审查成为显著瓶颈,几乎没有证据表明企业因此提高了软件产出或减少了用工。
Claude Code v2.1.296 为 Claude apps gateway 的 managed.policies[] 新增 code 键,并在 Claude Desktop 的 Code 标签页启用 gateway 模式。
Nikon 因参赛者徐宁使用 AI 而取消其 Small World in Motion 获奖资格,新获奖者为越南的 Nguyen Nam Nhat,作品拍摄了一条微小线虫与一个单细胞生物。
Baseten 与 Goodfire AI 合作推出 Project Beacon,将基于模型内部激活的主动式安全控制引入模型推理层,在生成过程中实时检测提示词注入、越权操作、敏感数据泄露和网络滥用等风险。监控与生成并行运行、不阻塞响应,由客户策略决定请求审批、拒绝、回退或记录事件。未来数月将先覆盖部分模型和受监控行为,再扩展至企业管控与开发者体验,并向少量早期合作伙伴开放。
Newcomer 报道称,OpenAI 的年度经常性收入比此前新闻所报低 200 亿美元,原因是其使用净收入口径而 Anthropic 使用毛收入口径,这一混淆引发市场波动。
TinyFish 在 Databricks AI Runtime 上完成其 Web 原生模型的后训练、评估与生产部署,该模型在内部 go/no-go 基准中完成 2,178 个 Web 智能体任务中的 1,691 个,任务成功率 77.6%。
一项 NBER 工作论文汇总逾百年预测市场数据,检验其在人口特征与政治倾向上是否存在系统性定价偏差,结果显示性别、肤色、年龄及党派维度均无统计显著的偏见,仅非美国选举样本中右倾候选人赔率略被高估,但 95% 置信区间表明该偏差不显著。文章还指出,上市软件公司的 Rule of X 中位数近三年从约 17% 升至约 23%,而收入倍数同期持续下滑,原因是增长放缓、利润率改善成为主要贡献。
a16z 宣布领投 TypeSafe AI,其模型 Jev 发布后 3 天生成 1 万亿 token,约 25% 的财富 500 强企业已接入。Jev 不把模型决策输出为文本,而是以带类型的值直接交给代码,成本约为前沿模型的 1/100 至 1/500,分类任务速度约快 100 倍。a16z 将 Jev 称为 System One 模型,认为它代表让 AI 原生融入软件而非由人对话调用的新方向。
高收益债(垃圾债)市场六年间持续膨胀,SIFMA 数据显示截至今年 9 月总规模达 2.19 万亿美元,其中高收益债约 3034 亿美元。AI 数据中心与 neocloud 企业正成为垃圾债和杠杆贷款的新发行主力,Anthropic 与 OpenAI 因负 EBITDA 和客户高度集中,信用评级可能落入 CCC/Caa 级。
404 Media 的 Behind the Blog 栏目回顾本周报道幕后,本期讨论 AI 与灵性。编辑提到团队在 AI 辩论中既报道其当前能力与危害,也指出其训练使用了盗用内容,同时否认 AI 永远无用;他们常亲自试用 AI,以便从知情视角写作。
AWS 回顾 2026 年 9 月 Amazon Bedrock、AgentCore 与 Strands 的更新:由 OpenAI 驱动的 Amazon Bedrock Managed Agents 进入公开预览。
Postman 的 Agent Mode 运行在 Amazon Bedrock 上,为 4000 万开发者提供跨 API 测试、文档、发现和实现的 AI 原生工作方式。
密码学家 Matthew Green 称,他认为人类有 1% 的概率生活在 Minicrypt——即 Russell Impagliazzo 提出的公钥加密不可能存在的假想世界,另有 15% 的概率会实质性失去对现有公钥加密算法的信心。他指出,AI 制造意外发现的速度与人类更换标准的速度相差数个数量级,只有提前做好准备才能从这类冲击中恢复。
Tessl 发布 Tessl Code Review,把代码审查拆成标准、视角、发现、裁决、回应与记忆六部分,用智能体并行执行。内置正确性与数据完整性、安全与隐私、规模与韧性、可维护性与代码质量四个视角,均以技能形式打包并应用团队标准。该工具可免费安装到代码仓库,在下一个 PR 上运行首个审查循环。
Baseten 发文解析高质量 NVFP4 4-bit 量化的实现路径,指出关键在于判断哪些层能承受 4 bit、哪些需要更高精度,并给出启发式规则、单层敏感度打分和 SaturationQuant 三种方案。
Figma 发布 Sightlines 第 3 期,聚焦如何弥合 AI 承诺与实际落地效果之间的差距。文章提出领导者应要求团队用 AI 探索更多方向、在定稿前处理边缘情况并打磨细节,而非只追求更快交付。OpenAI 产品设计负责人 Ian Silber 与 Figma AI 产品设计总监 Gui Seiz 强调,速度不是目标,管理者应为团队创造尝试和犯错的时间。
MIT Technology Review 文章指出,AI 的拒绝能力已成为 AI 安全的核心机制,但这一机制本质上是概率性的,并不可靠。模型在训练中学会拒绝有害提示,却仍保留相关能力,且拒绝边界由 AI 公司秘密划定。文章警告,拒绝失效可能导致灾难性后果,而拒绝过度则可能被用于压制合法言论。
Asana 使用 Codex 中的 GPT-6 Astra,在测试中让其浏览器智能体成本降低 76 倍、速度提升 5 倍,从而为客户提供能力更强的模型。