OpenAI用1500万美元解决90年数学难题

OpenAI使用1500万美元的代币解决了一个90年历史的数学难题。纳维-斯托克斯方程描述了流体的运动，从水在玻璃中旋转到空气在机翼上流动。这个难题是关于平滑的三维流动是否可以永远保持稳定，或者在有限时间内收紧成一个速度无限的奇点。OpenAI部署了10,000个协调的AI代理，这对普通用户来说将花费1500万美元的代币，配合下一代模型。该系统首先解决了一个更简单的版本，然后在仅88小时内产生了完整结果。提出的解决方案识别出一个向内螺旋并拉伸的涡旋，直到流动崩溃，同时总能量保持有限。该证明随后在Lean中正式验证，允许计算机检查每一个逻辑步骤。该问题附带100万美元的克雷数学研究所奖金，OpenAI表示将不接受该奖金。