OpenAIは、8月28日から訓練されてきた内部AIモデルが、クレイ数学研究所の7つのミレニアム問題の1つであるナビエ・ストークス方程式の存在性と滑らかさの定式化（CおよびD変種）を解き、さらに長年未解決だった100以上の数学問題の解を生成したと発表した。同社は、解を数学論文とLean証明支援システムで形式化されたファイルの両方で公開したが、どの100問題が解かれたかの詳細は明かさず、独立した査読評価も提示していない。