AI破解十个数学难题，OpenAI两千美元搞定

当人工智能攻克了人类难以企及的定理，数学家们的署名还有意义吗？

数学圈最近出了个新鲜事。OpenAI旗下的内部模型Astra，仅花费约2000美元的token成本，就攻克了10个尚未解决的数学难题。其中有些问题困扰了数学家数十年，甚至长达半个世纪之久。

01 一张账单，以及它背后的深意

据SiliconANGLE透露，Astra的运行账单高达约10万美元，但这主要是内部成本优化的结果——实际对外API调用的费用仅为2000美元左右。这个数字令众多数学家五味杂陈：一方面，区区2000美元就解决了他们可能穷极一生都无法攻克的难题；另一方面，这又意味着什么呢？

图1：数学公式推导 ·