OpenAIの研究チームは、ジャスティン・サン氏が初めて設けた100万ドルの賞で、AIが作成しLeanで形式化した、3次元ナビエ・ストークス存在と滑らかさ問題に取り組む証明の勝者に選ばれた。ただし、賞金はまだ請求していない。OpenAIによると、1万のAIエージェントが88時間にわたって問題に取り組んだ後、GPT-6 Astraが17時間かけて論理を検証した。クレイ数学研究所は現在もナビエ・ストークス問題をミレニアム懸賞問題の1つとして未解決のまま掲載しており、OpenAIは同研究所が別に設けた100万ドルの賞金を請求しないとしている。数学者2人は、未公表の研究がOpenAIの製品に取り込まれた可能性があると指摘したが、OpenAIはこれを否定している。サン氏の賞は、従来の査読ではなく独自の規定に基づき、機械検証可能な成果を受け付ける。賞に関する注意書きでは、OpenAIの発表は数学者によって確認されていないとしている。