千美元推翻百年猜想，Cursor估值冲30亿

今天的 AI 圈同时被两个信号点燃：AI 在纯数学上做到了人类做不到的事，而 Agent 赛道的资本定价正在加速兑现。以下是今天的精选：

GPT-next 用不到 $1000 推翻 80 年 Erdős 平面单位距离猜想 —— 不是定理证明，是提出反例、主动"发现"。OpenAI 内部模型在纯数学领域完成了一次从"重排知识"到"创造新知"的质变。对比 DeepMind AlphaProof（IMO 银牌），这次更接近科学家而非考生。
教宗良十四世发布 AI 通谕《Magnifica Humanitas》 —— 天主教会最高规格文件首次全面回应 AI 冲击：劳动、战争、隐私、尊严全部纳入讨论。Anthropic 联合创始人 Chris Olah 同天公开回应，称通谕"触及 AI 从业者最艰难的核心问题"。宗教权威与技术领袖罕见共振。
AI 芯片内存成本已占组件总成本近三分之二 —— HBM 从配角变成主角。芯片结构正从"计算为王"转向"带宽为王"，供应链话语权向 SK 海力士、三星、美光集中。这条数据解释了 Cerebras $60B IPO 背后的产业逻辑。

所有模型实验室都在变成 Agent 实验室 —— OpenAI（Codex+Operator）、Anthropic（收购 Stainless+Claude Cowork）、Google（Spark 后台 agent）一周内密集出牌。模型能力竞赛的下一阶段不是更好的回复，是谁的 agent 能替人干活。
DeepSeek Reasonix 入场编程 Agent —— 与 Cursor/Claude Code 不同，Reasonix 走"模型+Agent 框架同一家公司"路线，强调高缓存低成本。模型公司自己做 Agent 是降维还是左右互搏，HN 吵了 267 楼还没结论。
Claude Code 配置在 GitHub 集中井喷 —— ECC（agent harness 性能优化）、gstack（Garry Tan 的 23 工具全栈配置）、karpathy-skills（Karpathy 对 LLM 编程缺陷的补丁）三项目同步屠榜。一个新品类正在成形：AI coding agent 的共享配置文件，角色类似 ESLint config 之于 JS 生态。
HuggingFace 发布 Agent 术语表 —— 为 Harness、Scaffold、Skill 等概念做了规范化定义。一个领域开始为基本概念争吵，说明它已经大到需要共识了。

Cursor 估值 $3B，Elon Musk 传出收购兴趣 —— 编程 Agent 赛道从"开发者尝鲜"跳进"资本定价"。同期 Manus 以 $1B 估值脱离 Meta 独立。更讽刺的是，星巴克全北美 11000 家门店的 AI 库存盘点因分不清燕麦奶和全脂奶被撤回——$3B 的估值和分不清牛奶的 AI 同框，是最好的降温剂。
三家 AI Infra 独角兽集中浮现：Exa、Modal、TurboPuffer —— AI 搜索（embedding-based）、GPU 无服务器计算、向量检索加速各自拿到独立定价。资本重心正在从"投模型"转向"投基础设施"，链条上每个环节都开始独立估值。