OpenAI menggunakan model internal yang lebih kuat daripada Astra untuk menyelesaikan masalah ledakan waktu terbatas Navier-Stokes, menyelesaikan tugas dalam 88 jam setelah mendengar rumor bahwa Masalah Millennium telah diselesaikan.
- Agen mengirim 2,7 juta pesan dan menggunakan sekitar 130 miliar token output untuk solusi Navier-Stokes.
- Di semua masalah yang dicoba, agen mengirim 4,9 juta pesan dan menggunakan sekitar 300 miliar token output.
- Matematikawan Tristan Buckmaster dan Levent Alpoge sebelumnya telah bekerja pada hasil terkait dengan bantuan LLM tetapi dipaksa untuk menerbitkan lebih awal tanpa verifikasi penuh.
- OpenAI menawarkan dua proposal kepada Buckmaster mengenai kepenulisan dan waktu pengumuman mereka masing-masing, yang ia tolak.
Peristiwa ini menyoroti kecepatan kemajuan AI dalam penelitian matematika dan menimbulkan pertanyaan tentang standar kredit dan kolaborasi.