谷歌悄悄放出数学怪兽，但你永远用不上

该图片可能由AI生成

谷歌低调发布了一个叫 Aletheia 的数学专用模型，在国际数学奥林匹克竞赛基准测试上拿了满分，把所有竞争对手远远甩在身后。榜单上第二名 GPT-5.2 Thinking 只有35.7%，而 Aletheia 高达91.9%。

这名字起得很有意思。Aletheia 是古希腊哲学中「真理」的意思，但比字面含义更深一层，指的是「去蔽」，让隐藏的东西显现出来。一个数学模型叫这个名字，暗示它不是在编造答案，而是在揭示事物本来的面目。

更值得关注的是谷歌同步发布的论文。Aletheia 在解决问题时展现出了跨领域建立联系的能力，比如用几何分析中的概率测度紧致性来设计近似算法，或者发现 Kirszbraun 扩展定理与 Steiner 树计算之间此前从未被注意到的关联。这些不是简单的模式匹配，而是接近真正的数学发现。

但社区的反应很分裂。

一派认为这是里程碑式的进展。如果模型能够产生非平凡的数学洞见，科学发现的加速可能比我们想象的更近。有人说得好：即使所有能力提升今天就停止，我们也需要十年才能消化已经取得的进展。

另一派则相当冷淡：不开放公众使用，不关心。这话听起来刺耳，但指向一个真实的问题。Aletheia 本质上是一个生成器加验证器的智能体系统，配合大量脚手架工程和微调，运行成本极高。它和榜单上其他纯语言模型根本不是同一类东西，就像拿 AlphaGo 和普通棋手比赛然后宣布 AlphaGo 更聪明一样。

这里藏着一个更深的问题：你真的相信未来能用上最先进的模型吗？事实上，今天你已经用不上了。

最前沿的能力正在变成一种基础设施，而非消费品。它们会被用来加速科学研究、优化算法、推动发现，但普通用户能触及的，永远是经过层层稀释的版本。这不是阴谋，只是经济学。

谷歌擅长把东西藏起来，直到某个创业公司做出差不多的产品逼他们出手。Aletheia 大概也会走这条路。

www.reddit.com/r/OpenAI/comments/1r2jdg4/how_is_this_not_the_biggest_news_right_now