Astra数学突破

8月初，OpenAI扔了一颗炸弹。

下一代内部模型「Astra」，一口气在10个菲尔兹奖级别的数学难题上取得突破。

高维球体堆积、Connes刚性猜想、多色Ramsey数——这些名字你可能看不懂，但没关系。你只需要知道：这些都是困扰数学界几十年的顶级难题，每一个的难度都不亚于哥德巴赫猜想。

而Astra解决它们的成本，换算出来大约是——2000美元的Token费。

2000美元，在北京大概够租一个月的次卧。在硅谷，还不够一个工程师一周的工资。而人类数学家为了攻克其中任何一个难题，可能要耗费整个职业生涯。

8月4日，OpenAI直接把一份62页的核心手稿公开了。

还没等数学界消化完这件事，争议已经炸了锅。

有人说，这是AI的「开智时刻」——从语言文字到数学推理，AI终于敲开了人类智力最后的堡垒。也有人说，这只是高级模式匹配，离真正的数学创造力还差得远。

但有一个事实无法否认：就在几周前的2026年国际数学家大会上，两位中国籍数学家刚刚获得菲尔兹奖。而现在，一台机器证明了自己也能做同样的事，而且做得更快、更便宜。

这引出了一个更扎心的问题：

如果AI能拿菲尔兹奖，人类还剩下什么？

把镜头拉远一点看，2026年的夏天远不止Astra这一件事。

7月17日，月之暗面发布了Kimi K3，2.8万亿参数，成为全球参数最大的开源模型。7月24日，黄仁勋在X上发出第一条推文，联合微软、IBM等数十家科技公司，明确反对监管层对开源模型的限制。

他原话是这么说的：「这个世界既需要最前沿的闭源模型，也需要最前沿的开放模型，我们不能制裁开源。」

开源与闭源之争，因为Astra的数学突破，突然有了更深的意味。

当AI的能力已经摸到人类智力的天花板，把这样的能力完全开放给所有人，究竟是普惠还是风险？这个问题没有标准答案，但它已经不再是科幻小说里的假设。

15世纪，古腾堡发明了活字印刷术，知识从少数人手里扩散到了大众。今天，被「印刷」的不再是文字，而是智力本身。

我们是否准备好，让每个人都拥有比自己更聪明的AI？

答案还没写出来，但2026年的这个夏天，大概会是历史书里被反复提起的一页。