AI数学与开源

2026年8月初,OpenAI扔出一颗炸弹。

内部模型”Astra”一口气在十个菲尔兹奖级别数学难题上取得突破。高维球体堆积、Connes刚性猜想、多色Ramsey数——这些名字你可能没听过,但你只需要知道一件事:每一个都是人类顶级数学家穷尽一生才能摸到门槛的硬骨头。

而Astra,全搞定了。

更离谱的是,烧掉的Token成本:2000美元。不到一台MacBook Pro的钱。

62页的核心手稿已经在8月4日公开。数学界正在独立验证,但无论结果如何,一个事实已经摆上台面:AI的推理能力,正在突破人类智力的天花板。

开源风暴:Kimi K3的2.8万亿参数

几乎同一时间,中国公司”月之暗面”发布的Kimi K3正式全量开源。2.8万亿参数,全球最大开源模型,支持100万字上下文处理。

这不是实验室里的玩具。开发者可以直接下载模型权重,部署到自己的服务器上。

五年前,OpenAI发布GPT-2时因担心滥用拒绝开源。如今,在Kimi K3等开源模型的竞争压力下,局面已经完全反转。

黄仁勋的第一条推文

7月24日,英伟达CEO黄仁勋发了自己在X上的第一条推文。

不是产品发布,不是财报预热。而是联合微软、IBM等数十家科技公司和组织,公开反对监管层限制开源模型。

“这个世界既需要最前沿的闭源模型,也需要最前沿的开放模型。我们不能制裁开源。”

有网友把那张联合Logo墙戏称为”科技行业集体起义”。

智力印刷术

15世纪,古腾堡发明活字印刷术。拉丁文手抄本变成了普通人买得起的印刷品,话语权从教会手中被撕开一道口子。

今天的AI开源之争,本质上是一样的逻辑。

只不过这一次,被”印刷”的不是文字,而是智力本身。

当2.8万亿参数的开源模型交到每一个普通人手中,当2000美元就能烧穿数学的天花板——我们面对的已经不是”AI能不能”,而是我们准备好让每个人都拥有比自己更聪明的AI了吗

这不是科幻。这是2026年的夏天。