幣界網消息，Cardano創始人查爾斯·霍斯金森在9月9日表示，人工智能在形式數學方面的進展超出了他的預期。他提到，OpenAI聲稱其內部系統解決了納維-斯托克斯千年獎問題，霍斯金森稱該系統的能力「相當顯著」。他原本預計形式系統將幫助數學家合作和驗證證明，但沒有预料到大型語言模型會如此迅速地生成完整證明。他表示，AI完全撰寫證明的想法曾顯得「相當遙遠」。霍斯金森與形式數學研究有直接聯繫，2021年他向卡內基梅隆大學捐贈2000萬美元建立霍斯金森形式數學中心。OpenAI在9月8日發布的研究顯示，其內部模型協調了約10,000個代理，并在88小時後提出了解決方案。該證明試圖建立一個初始光滑流體在外力作用下發展出奇點的過程。OpenAI表示，該工作滿足千年獎公式中的C和D條款，但克雷數學研究所仍將納維-斯托克斯問題標記為「未解決」。