OpenAI mengumumkan resolusi terhadap masalah keberadaan dan kehalusan Navier–Stokes, salah satu dari tujuh 1,000,000 Masalah Hadiah Milenium, menggunakan model internal yang belum dirilis. Klaim ini muncul di tengah tuduhan dari Tristan Buckmaster, profesor matematika di NYU, dan Levent Alpöge, seorang matematikawan di Anthropic, yang mengklaim OpenAI mungkin telah mengakses pekerjaan mereka.

Buckmaster dan Alpöge bekerja sama selama hampir satu tahun menggunakan Claude dan Codex (terutama GPT-5.6 Sol), mencapai kemajuan besar pada 15 Agustus. Setelah muncul rumor bahwa Anthropic telah menyelesaikan masalah penting, OpenAI meluncurkan upaya sendiri pada 1 September, menyelesaikan bukti yang diverifikasi Lean pada 6 September menggunakan GPT‑6 Astra. Agen-agen OpenAI mengirim 2,7 juta pesan dan menggunakan sekitar 130 miliar token keluaran hanya untuk Navier–Stokes.

OpenAI menawarkan publikasi paralel tetapi mengecualikan Alpöge karena ikatan kompetitif dengan Anthropic. Buckmaster mempertanyakan apakah model OpenAI dilatih pada sesi Codex mereka; OpenAI membantah mengakses data pengguna tetapi mengakui data penggunaan yang tidak teridentifikasi mungkin telah memperbaiki model. Kedua bukti berbeda, terutama pada kasus Euler (dipaksa vs. tidak dipaksa). Perselisihan ini menyoroti ketegangan di sekitar penemuan matematis yang didukung AI dan prioritas intelektual.