8 September 2026, Open AI mengumumkan solusi dihasilkan AI untuk masalah Navier-Stokes eksistensi dan kehalusan, tujuh masalah Milenium. Pengumuman ini memicu perdebatan tentang alokasi kredit antara manusia dan mesin, dengan Tristan Buckmaster menyebutnya "momen Deep Blue–Kasparov". Munculnya pertanyaan eksistensial tentang apakah matematika akan segera "diselesaikan" seperti catur dan Go.

Narasi bahwa AI "menyelesaikan" matematika berdasar pada dua premisai yang salah: pertama, bahwa AI sebenarnya menyelesaikan masalah matematika, dan kedua, bahwa matematika hanya tentang menyelesaikan masalah. Menyediakan sekadar jawaban—meskipun secara formal dijamin—tidak cukup tanpa bukti yang dapat dimengerti manusia dan dibangunkan.

Matematika jauh lebih luas daripada menyelesaikan masalah. Matematika mengembangkan konsep baru, menanyakan pertanyaan baru, menyatukan area, mendidik masyarakat, dan menciptakan karya yang dihargai karena keindahan dan kedalaman. Rather than mundur ke "melanjut bermain", kita menolak mengkarakterisasikan matematika sebagai permainan dan justeranya meneliti apa yang sebenarnya matematika itu dan apa yang kita ingin menjadi.

Open AI menghasilkan jawaban—ya, Navier–Stokes bisa mengembangkan singularity—beserta formalisasi Lean dan naskah tidak resmi. Meskipun lebih daripada Deep Thought "42", tetap tidak memuaskan karena bukti itu sendiri memiliki beberapa konsep, dan pemahaman dasar masih tidak lengkap.

Entitas Utama: Perusahaan: Open AI | Orang: Silvia De Toffoli, Eamon Duede, Tristan Buckmaster, C. Thi Nguyen | Lokasi: University School for Advanced Studies IUSS Pavia, Princeton University, Purdue University