OpenAI telah mempublikasikan sebuah pos blog yang mengklaim agen internalnya berhasil menyelesaikan masalah keberadaan dan kehalusan Navier–Stokes, salah satu dari tujuh Masalah Millennium Prize. Resolusi ini dicapai sekitar 88 jam setelah tim memulai upaya tersebut pada 1 September, menyusul rumor bahwa matematikawan Tristan Buckmaster dan Levent Alpöge juga telah menemukan solusi.
- Agen OpenAI mengirim 2,7 juta pesan dan menggunakan sekitar 130 miliar token keluaran untuk menyelesaikan masalah Navier–Stokes.
- Formalisasi dan verifikasi Lean membutuhkan waktu tambahan 17 jam melalui GPT‑6 Astra.
- Total upaya di seluruh masalah yang dicoba melibatkan 4,9 juta pesan dan sekitar 300 miliar token keluaran.
- OpenAI menyatakan bahwa mereka tidak mengakses data pengguna spesifik dari Buckmaster dan Alpöge tetapi tidak dapat menyingkirkan kemungkinan bahwa data ter-anonimisasi meningkatkan model mereka.
Artikel tersebut menyoroti implikasi etis dari lab AI yang berpotensi menggunakan data pelanggan untuk meningkatkan model, menimbulkan kekhawatiran apakah pelatihan semacam itu secara tidak sengaja mungkin membantu pesaing menyelesaikan masalah terlebih dahulu.