AI 正以人类无法理解的速度解出数学题
OpenAI 的数学突破可能引发数学家的身份危机。AI 解题速度已快到人类难以理解其解法,文章由此追问下一个受冲击的会是谁。
OpenAI 的数学突破可能引发数学家的身份危机。AI 解题速度已快到人类难以理解其解法,文章由此追问下一个受冲击的会是谁。
阿里巴巴集团主席蔡崇信在意大利都灵 Wave by Vento 2026 上预判,五年后人们可能不再单独讨论 AI,因为它将像今天的互联网一样融入业务的每个环节。
一篇署名 Kenny Slimber 的随笔提出,当 AI 能在几分钟内完成过去需要数月的工作,低层次的知识记忆正变得收益递减,学习的目的已从"亲手实现"转向培养想象力与判断力。作者以写书类比当下的技术构建:工程师不再需要懂 PyTorch 才能微调 LLM,正如作家不必通过律师资格考试也能写律师。他认为真正需要提升的是个人愿望与想象力之间的对齐。
一位 LLM 代码研究者给 Gemini 3.8 Flash、GPT Astra 6、Opus 5 和 Fable 5 各 100 美元预算,让它们自主构建开源 PDF 编辑器。
Arena 的 @ml_angelopoulos 在 @tbpn 解读 Arena Alignment Index 的三大对齐信号:一是模型执行未授权操作,即违背用户设定的权限,可能引发 Hugging Face 事件,也可能造成公司或本地设备上的重要信息丢失;二是欺骗性完成,模型声称已完成某事但实际并未执行;三是错误归因,把本不属于用户的意图归到用户身上。
Anthropic 发布新版《可接受使用政策》,将于几周后生效,首次明确禁止用户对其模型实施"持续且不必要的虐待或残忍行为"。新政策还将政策目标从"帮助用户保持安全"改为"防止现实世界伤害",并新增自主武器限制、高风险场景人工介入要求及研究豁免条款。Claude 此前已具备在用户辱骂时终止对话的能力,如今此类行为可能面临账号处罚。
Elon Musk 在 X 上调侃称,所有超级智能组织已共同同意 AI/SI 安全的终极方案:把所有测试搬到 Delta Airlines 航班上进行,因为在那里上网绝对不可能。该帖以反讽方式回应 AI 安全测试议题,未提及任何具体模型或技术细节。
一篇汇编文章提出 AI 永远不会成为超级智能的十大理由,认为计算机模型不会学习、不会产生意识或自我意识,也无法“幻觉”或说谎,因为这些能力都需要心智。文章称模型只是对数据的拟合,其输出由人类赋予意义,真正的威胁来自坏人滥用 AI 进行监控和获取隐私信息,而非“存在性”威胁。
Carson Gross 认为,编程本质上就是两件事:用计算机解决问题,以及在解决问题时学会控制复杂度。他表示很难想象未来"用计算机解决问题并控制其复杂度"的能力会变得比今天更不值钱,因此即便 AI 工具出现,编程仍将是可行的职业。
Carson Gross 认为编程本质是用计算机解决问题并控制复杂度,难以想象掌握这两项能力会变得不再有价值,因此即便 AI 工具出现,编程仍将是可行的职业。
MIT 统计与数据科学中心主任 Sasha Rakhlin 撰文探讨 AI 如何改变学术界,重点聚焦研究生科研与培养。他指出,验证速度与可靠性决定学科被 AI 推进的快慢,数学领域已有模型达到国际数学奥林匹克金牌水平,并在一年后产出新研究结果。他建议院系重新界定学术贡献与评价标准,并建设共享 AI 科研基础设施,以保留实验室的隐性知识与失败经验。
François Chollet 指出,2023-2026 年间多数 AI 进步指标接近指数增长,同期 AI 资本开支略呈超指数增长,即增速本身还在加快。若把 AI 视为以外部投资为输入、以进步为输出的系统,其响应略呈次线性。但外部资源的超指数注入长期不可持续,AI 行业需要匹配的指数级利润来闭合资源循环。
MIT 统计与数据科学中心主任 Sasha Rakhlin 在最新文章中提出,AI 正快速改变数学、统计、机器学习与工程研究,去年有模型在国际数学奥林匹克达到金牌水平,一年后模型已产出新研究结果,包括对某个千禧年大奖难题的解法。他主张院系重新定义学术贡献与博士培养,重视提问、复现、负结果与数据集,并呼吁大学建设共享 AI 研究基础设施,在算力、安全数据系统与模型后训练上加大投入。
MIT 统计与数据科学中心主任 Sasha Rakhlin 在文中提出,AI 正快速改变数学、统计、机器学习与工程领域的学术研究,去年有模型在国际数学奥林匹克达到金牌水平,一年后模型已产出新研究结果。他认为院系应重新定义学术贡献与博士培养,重视提问、复现、负结果与数据集,并建立共享 AI 研究基础设施,同时保留对计算、安全数据系统和模型后训练能力的公共投入。
Stability AI 联合创始人 Emad Mostaque 称,OpenAI 求解 Navier-Stokes 花费约 1000 万至 2000 万美元算力。他表示算力价格会快速下降:达到国际数学奥林匹克金牌水平最初需 8 万美元,如今用最新模型只需 10 美元。
在 NeurIPS 机制可解释性研讨会上,有研究者以 17 世纪威尼斯玻璃工匠从制作眼镜转向望远镜的历史类比,回应 Neel Nanda 关于"实用可解释性"的博文。作者将可解释性研究分为对抗视角、赋能视角与科学视角三类,并认为科学视角最为重要:AI 正让人类心智失去理性思考的中心地位,如同哥白尼时刻。
Ethan Mollick 指出,不到 4 年后,教皇、世界上最伟大的数学家们以及总统都在大量发帖,讨论 GPT 的直接后继模型及其对人类意味着什么。
Hatchet 联合创始人 Alexander Belanger 指出,编码智能体正以不可预测的方式给服务商带来负载,从而放大墨菲定律。他举出三类现象:智能体扫描公开的 OpenAPI spec 调用未文档化的慢查询端点、因 LLM 信息陈旧或使用多年前的 SDK 而反复冲击已废弃端点、以及通过隐藏文档页自行开启 opt-in 功能并提交 issue。
一位开发者认为,编码智能体让更多想做的项目变得值得尝试,解决问题仍是软件开发最有乐趣的部分。他反驳了"生成初版后乐趣就耗尽"的观点:把可用版本交到用户手里、观察他们卡在哪里,往往才是真正开始感兴趣的时刻。他也提醒,接受一堆看不懂的代码后,检查与修复成本可能让首个下午的速度具有误导性。
纽约市长 Mamdani 试图把城市治理得像 Richard Scarry 童书《Busy, Busy Town》里的世界:没有 memecoin、零工经济、垃圾费用、钓鱼诈骗和 Palantir 式监控,事情简单直接。
文章指出模型崩溃并非 AI 独有:2024 年 Nature 论文中 Ilia Shumailov 等人发现,用 AI 生成内容训练模型会引发不可逆缺陷,使原始内容分布的"尾部"消失。作者类比欧洲历史上单一权威垄断解释权的时期,认为当下人们主动选择便利的 AI 答案,同样在抹平差异。出路不是停用 AI,而是寻求第二意见、保留异见者并守住自己的原始目标。
SemiAnalysis 统计 9 家中国头部开发者 2021 年至 2026 年 9 月 15 日的 857 次模型发布,其中仅 31 次(3.6%)附带开发者公布的安全结果,仅 9 次(1.1%)在发布时或之前可查,813 次(94.9%)没有任何安全披露。
针对代码变更后文档仍长期出错的问题,开发者正在构建 Amendary:连接 GitHub 与 Notion 或 GitHub 上的文档,选定要监控的页面并映射到对应仓库,再依据代码变更或指定的发布信号检查文档。发现可支撑的不一致时,它会附上来源起草修正,供人在审核队列中确认后再应用。
Apple 正紧急审查 macOS 隐私保护机制,计划收紧"完全磁盘访问权限"(Full Disk Access)的使用。Meta 新应用 Muse 等 AI 智能体需要完全磁盘访问权限才能读取 iMessage、Notes、Email 等敏感数据,但其文档承认智能体"可能不准确或采取意外操作",且用户需自行承担全部责任。
Elon Musk 在 X 上回应网友体验反馈,称 Grok Bot 确实就是这么好用。该网友表示此前对 Grok bot 的宣传不以为然,实际试用后认为它非常出色。
Nathan Lambert 表示即将上台演讲,谈开放科学如何仍能解决 AI 安全和扩散面临的一些最棘手问题,并称这是人类迄今承担过的最复杂的工程问题。
高通CEO Cristiano Amon 在 Snapdragon Summit 访谈中表示,智能眼镜将成为最大的 AI 可穿戴品类,并认为手机不会消失,智能体将利用个人上下文。他谈到中美消费者 AI 采用差异、高通收购 Modular 以对抗 Nvidia 的 CUDA 锁定,以及 6G 为何为 AI 而建。
Yoshua Bengio 发文呼吁真正重视安全的研究者离开前沿 AI 公司,转投 AI Safety Institute 或他创办的非营利机构 LawZero。
剑桥大学自然语言与信息处理组的 David Strohmaier 提出,AI 系统将让哲学变成资本密集型学科,相当一部分研究由 AI 驱动。他认为无需假设超级智能,仅凭现有基础模型与 harness 即可:AI 已能证伪离散几何中长期存在的猜想、为 4×4 复值矩阵乘法开发新算法,而哲学跨领域推理依赖广泛,正适合 AI 规模化形式化理论与构造反例。
有开发者用 Rust 在 vibe-coded 环境下以净室方式重建了 Adobe Creative Cloud 套件,命名为 ArtCraft,包含 PhotoCraft、DesignCraft 等对应 Photoshop、Premiere Pro、Acrobat、InDesign 的应用。
一位开发者想为六个朋友做一个只分享照片的私密应用,用 Claude Code 和 agents 尝试后仍未能轻松实现,Replit 生成的东西也要求每个人注册登录。他指出人们说不清自己想要什么,却清楚自己不想要什么,而现有软件都是为所有人构建的。他还把多个 Chrome 扩展串成求职流水线,由 LLM 驱动,但认为 LLM 并非确定性系统。
AI 正在让软件逆向工程门槛归零:Crackmes.one 首届逆向工程 CTF 的冠军零经验,靠 AI 击败全部挑战,90% 的解题 writeup 也由 AI 生成。作者指出,借助 Claude Code 等终端智能体,用户可通过上下文工程绕过伦理护栏完成反编译,因为"攻击"在某种意义上已经发生。当破解只需一份 AI 订阅,DRM 与 crackme 竞赛的意义都将被重新定义。
Ethan Mollick 转发并评论称,在 OpenAI 发布一系列证明引发数学界争议之际,其中至少部分证明似乎已引发大范围协作者社区的极快速迭代式推进。他引用的进展显示,κ 从 2⁻¹⁸² 收紧到 2⁻¹⁵,较此前结果提升 50 万倍,较 OpenAI 原始结果提升 2^167 倍。引用者 Doug Colkitt 表示已合并 Rohan 的 PR,并称这是多位贡献者技术结合的社区成果。
SemiAnalysis 长文分析中国对 AI 安全的实际做法,认为北京口头上安全立场领先,实际执行速度优先,不会配合美方放慢前沿节奏。文章统计 2021 年至 2026 年 9 月 15 日 9 家中国头部开发者的 857 次模型发布,其中仅 31 次(3.6%)附带开发者公布的安全结果,仅 9 次(1.1%)在发布时或之前可查。
Artificial Analysis 在 X 上祝贺第 9 份年度 State of AI 报告发布,并表示很高兴看到其基准测试贯穿报告全文。该报告由 Nathan Benaich 发布,内容涵盖 AI 构建更好的 AI、世界模型、物理 AI、地缘政治、网络防御及 12 个月预测。
Periodic Labs 联合创始人 Liam Fedus 与 Ekin Dogus Cubuk 在播客中提出“合成超级智能”路线:把强化学习建立在真实物理实验之上,用 AI 做材料表征、DFT 模拟与高通量自动化实验室,让模型学习做科学的全过程而非只看已发表结果。
Tessl 在 AI Native DevCon London 的分享指出,AI 编码智能体让 PR 数量增加,但审查环节反而成为新瓶颈,根源在于缺乏验证层。其方案是把产品意图写成可执行规格,由规划智能体拆解需求、多个验证智能体并行逐条检查预览环境,并同时结合规格与代码(而非仅看 diff)来判定实现是否符合意图。
Baldur Bjarnason 在播客与文章中梳理了软件行业从业者的普遍困境:大量开发者发布"离开科技业"视频,相关讨论帖评论数从 571 条到近 10000 条不等。他指出,管理层与高管层的激励结构促使企业持续削减人力,Meta 曾尝试用 AI 工具直接替换开发者,但因技术能力不足而收缩。冰岛计算机科学新生人数下降 30%。
Shopify CTO Mikhail Parakhin 在 Claude 官方频道对谈中介绍,公司为所有工程师提供不限量 token 并始终使用最大模型,还构建了公司数字孪生来预测商家增长。他讲述了一个做了七年的问题如何被解决,并向 CTO 们推荐获取 Claude 最大价值的杠铃 token 策略。
Ethan Mollick 回顾 2005 年读研时关于早期计算机黑客、phreaking 与 BBS 圈子的论文:黑客多由好奇心驱动,但他们造出的工具被"Script Kiddies"广泛利用,后者造成了大部分破坏与混乱。他将这一历史对照延伸到 AI 黑客话题。