币界网消息，Cardano创始人查尔斯·霍斯金森在9月9日表示，人工智能在形式数学方面的进展超出了他的预期。他提到，OpenAI声称其内部系统解决了纳维-斯托克斯千年奖问题，霍斯金森称该系统的能力“相当显著”。他原本预计形式系统将帮助数学家合作和验证证明，但没有预料到大型语言模型会如此迅速地生成完整证明。他表示，AI完全撰写证明的想法曾显得“相当遥远”。霍斯金森与形式数学研究有直接联系，2021年他向卡内基梅隆大学捐赠2000万美元建立霍斯金森形式数学中心。OpenAI在9月8日发布的研究显示，其内部模型协调了约10,000个代理，并在88小时后提出了解决方案。该证明试图建立一个初始光滑流体在外力作用下发展出奇点。OpenAI表示，该工作满足千年奖公式中的C和D条款，但克雷数学研究所仍将纳维-斯托克斯问题标记为“未解决”。