万级AI Agent在88小时内并发探索纳维-斯托克斯难题，生成165页分析文稿并通过Lean形式化验证，发送270万条消息消耗1300亿Token，成本高达数百万美元。OpenAI不申领100万美元奖金。克雷研究所官网仍列问题为未解决状态。这证明AI在数学难题上的应用速度，但最终认可需学术界至少两年社区审查。 ​