8月4日，OpenAI一纸62页的内部手稿流出，瞬间引爆全球数学圈。不是论文，不是预印本，而是下一代模型"Astra"对10个菲尔兹奖级别难题的完整推演——高维球体堆积、Connes刚性猜想、多色Ramsey数，每一个名字都足以让顶尖数学家眉头紧锁。而这一切，烧掉的Token成本仅2000美元。2000美元，在学术界连一场国际会议的赞助费都不够，却买来了人类智力巅峰的"标准答案"。

时间节点极具讽刺意味。就在不到两周前，7月的国际数学家大会上，两位中国籍数学家首次捧起菲尔兹奖，全球华人沸腾，认为这是东方智慧征服数学的里程碑。然而OpenAI用一纸手稿提醒世界：当人类还在为"首次突破"举杯相庆时，AI已经在用2000美元把"菲尔兹级"难度批量打包。更早的7月27日，月之暗面开源了2.8万亿参数的Kimi K3，全球最大；7月24日，黄仁勋联合微软、IBM等巨头公开反对限制开源模型。开源与闭源、人类与AI的双重赛跑，正在同时加速。

这件事的深层信号远比"AI会做题"更刺眼。过去我们以为，数学是最后一道人类智力防线，因为它的创造需要直觉、美感和灵感。但Astra的推演逻辑恰恰证明：当算力足够大、数据足够多，所谓的"灵感"不过是更高维度的模式识别。2000美元的成本意味着智力劳动的商品化拐点已至。一个菲尔兹奖得主一生最得意的成果，可能不如AI一次随机采样的副产品。这不是危言耸听，而是OpenAI用62页手稿摆在我们面前的冰冷事实——人类引以为傲的"天才"，正在被重新定义为"可计算的优化问题"。

当然，我们不必恐慌，但必须清醒。Astra目前只是内部模型，OpenAI选择公开手稿，更像是在宣告范式转移的主权。对于中国数学界，两位菲尔兹奖得主的喜悦还未散去，就撞上这盆冷水——这不是打击，而是警钟。未来的竞赛不再是人类与人类之间的脑力比拼，而是谁能让AI更好地服务人类智慧延伸。2000美元破解十个难题，不是终点，是起点。人类数学家或许该换个活法：从解题者，变成出题人。毕竟，AI再强，也需要有人告诉它，下一步该往哪里推演。

AI 生成 . DeepSeek | 搜索综合