OpenAI研究团队被评为贾斯廷·孙首届100万美元奖项的获奖者，该奖项授予一项由人工智能撰写、以Lean形式化、针对三维纳维-斯托克斯存在性与光滑性问题的证明，但奖金仍未被领取。OpenAI表示，1万个AI代理先花费88小时研究这一问题，随后由GPT-6 Astra花费17小时检查逻辑。克雷数学研究所仍将纳维-斯托克斯问题列为活跃的千禧年大奖难题，OpenAI也表示不会领取克雷数学研究所另设的100万美元奖金。两名数学家表示，尚未发表的研究成果可能被纳入OpenAI的一款产品，OpenAI对此予以否认。孙设立的奖项根据自身规则接受可由机器验证的结果，而不是遵循传统同行评审；其警告称，OpenAI的公告尚未得到数学家确认。