Edge AI Daily 早报（10月13日）

（本文作者为 Edge AI Daily，钛媒体经授权发布）


硅谷前沿：

> 一、一场地毯式轰炸之后

1.事件与数据：2026年10月6日，OpenAI在GitHub一次性公开722篇AI生成数学手稿，分属372个结果家族、含377项新证明，由一款尚未发布的内部前沿模型生产，平均每项结果算力约合ChatGPT Pro推理三小时；发布不到两日即撤回3篇存错论文（因符号错误致论证崩塌，另修正14篇），目前仅约42%主要结论通过Lean形式化验证。

2.冲击与影响：2022年菲尔兹奖得主、法国概率论学家Duminil-Copin称「他们彻底摧毁了我的研究领域」，其中16个问题落在他核心方向，约350个重大未解问题一夜消失；受影响最深的是博士生、博士后等早期研究者，原本用于学术训练的小问题被模型数周解出，职业前景与积累被挤压，数学界自由交流的信任文化亦受侵蚀。

3.立场与趋势：人类数学协会（AHM）声明称「释放700多份文件不是学术成就的展示，而是权力的展示」，陶哲轩转发引发关注；25位菲尔兹奖得主联署声明，将危机定性为「人工智能在数学中的严重错位」，即AI公司跑分目标与数学共同体知识拓展目标系统性分离；中国数学会会长席南华认为冲击巨大但不必焦虑，数学界可与AI产业界共建各方接受的规则体系。

> 二、马斯克600亿美元坦白：编程训练数据，全世界只有三家

1.核心事件：2026年6月16日SpaceX宣布以全股票交易600亿美元收购Cursor母公司Anysphere，8月14日完成交割，为风投支持初创公司史上最大收购；马斯克公开称全球拥有足够编程训练数据的仅三家——OpenAI、Anthropic、Cursor（勉强算上谷歌），而xAI与Grok均不在列。

2.编程数据价值逻辑：其稀缺性来自可验证性（代码对错可跑单元测试判定，属RLVR天然场域）与真实性（捕获真实开发者与AI协同的完整交互轨迹，虽表述为真实交互数据达数万亿Token规模，此数据来自行业报道，未经独立核实）；Cursor用四年估值从5650万美元种子轮攀升至被收购，截至2026年初ARR已突破...

Edge AI Daily | tmtpost​.com • Oct 13, 2026