我真的很害怕”:一位数学家如何应对AI近期的突破

OpenAI 用数万智能体宣称破解 90 年悬而未决的数学难题,Anthropic 的 Claude 也完成费马大定理的形式化证明,AI 正加速数学突破,但署名争议和数学家的焦虑随之浮现。

OpenAI 用数万智能体宣称破解 90 年悬而未决的数学难题,Anthropic 的 Claude 也完成费马大定理的形式化证明,AI 正加速数学突破,但署名争议和数学家的焦虑随之浮现。

Anthropic 研究员 Jacob Coxon 于 9 月 8 日公开辞职,警告头部 AI 公司正“竞速冲向自我改进的超级智能”,该帖获得约 1.5 亿次浏览,把 AI 灭绝风险从硅谷小众议题推成主流恐慌。真正值得关注的不是恐慌本身,而是政府目前拿不出与技术风险规模匹配的应对方案。

据 Bloomberg 报道,Sam Altman 在一次面向员工的内部沟通中表示,OpenAI 对“放缓 AI 发展节奏”持开放态度。这一表态出现在行业普遍加速训练大模型、扩张算力的背景下,因此被外界视为值得留意的信号。

韩国 KAIST 与 Naver AI Lab 发现,大模型在推理时写下的每一步(如提取、分解、套公式、计算)在模型内部对应着可区分的数据模式,且信号最集中在中层。这意味着 Chain-of-Thought 不只是“说给人看”,而是有内部结构可循。

路透社报道,英伟达正洽谈以锚定投资者身份,向 Anthropic 计划中的 IPO 注资至多 100 亿美元。这笔潜在交易指向一场估值约 2 万亿美元、募资至多 1000 亿美元的上市,若成行将是史上最大 IPO。

《华尔街日报》一篇报道提出,前沿 AI 在数学难题上的能力正在快速逼近人类顶尖水平,同时 OpenAI 与 Anthropic 等公司正把"AI 安全"与"AI 做数学研究"放在同一条主线上讨论,这既是科研工具的机会,也是风险治理的压力测试。

英伟达正洽谈以最多 100 亿美元参与 Anthropic 的 IPO 锚定投资,而 Anthropic 计划以约 2 万亿美元估值募资最多 1000 亿美元。这不只是一笔大额融资,更凸显英伟达“投资客户、再卖算力”的循环模式正在成为 AI 行业的基础设施级玩法。

QApilot 在 Product Hunt 上线了面向 Android 的 MCP 产品,把移动端质量保障与 AI 模型上下文协议结合起来,试图让测试、缺陷定位等环节可以由大模型直接调用工具完成。对做移动开发和测试的团队来说,这代表 AI 应用正从聊天窗口走向真实工程流水线。

GitHub 上的 system_prompts_leaks 仓库持续收录 ChatGPT、Claude、Gemini、Grok 等主流聊天机器人的系统提示词原文,最新已更新到 Claude Fable 5.1、ChatGPT 5.6、Grok 4.6 等版本。它让原本写在“第一句话之前”的隐藏规则变成可公开…

Anthropic 发布报告称,过去八个月中 Claude 被用于国家支持的黑客攻击、网络勒索、虚假信息传播,甚至疑似开发生物武器。这既暴露了大模型滥用的广度,也让“安全护栏是否够用”成为行业必须正视的问题。