OpenAI belum selesai memanfaatkan pertanyaan terbuka tersulit di bidang matematika—setidaknya bukan untuk pengakuan penyelesaiannya, karena perusahaan mengatakan tidak menginginkan uangnya.

Beberapa hari setelah mengklaim solusi untuk persamaan Navier-Stokes, OpenAI memberi tahu The New York Times bahwa mereka telah membuat "kemajuan signifikan" pada Masalah Hadiah Milenium lainnya, salah satu dari tujuh teka-teki besar yang didukung Clay Mathematics Institute dengan hadiah $1 juta sejak tahun 2000.

OpenAI masih belum menyebutkan masalah mana yang dimaksud, tetapi para ahli, penggemar—dan reporter—memiliki teori mereka sendiri.

Pembicaraan di media sosial berpusat pada Konjektur Hodge, teka-teki tahun 1950 tentang cara menghitung "lubang" dalam bentuk geometris kompleks—jenis yang memiliki begitu banyak dimensi sehingga tidak ada yang bisa benar-benar membayangkannya. Matematikawan William Hodge mengusulkan jalan pintas menggunakan aljabar alih-alih geometri untuk melakukannya, tetapi belum ada yang membuktikan jalan pintas itu selalu berhasil.

OpenAI belum mengonfirmasi dugaan itu, dan juga belum mengonfirmasi rumor bahwa model yang belum dirilis di balik pekerjaan ini adalah versi Aeon yang dirumorkan, dibangun untuk tugas-tugas jangka panjang dan alur kerja agensi. Keduanya adalah spekulasi, bukan pernyataan perusahaan.

Pada tanggal 8 September, OpenAI mengatakan model internal yang belum dirilis menghasilkan bukti yang diverifikasi Lean—Lean adalah perangkat lunak yang memeriksa bukti matematika satu langkah logis pada satu waktu—yang menunjukkan bahwa persamaan Navier-Stokes, yang menggambarkan bagaimana cairan seperti udara dan air bergerak, dapat "meledak" menjadi kecepatan tak terbatas yang secara fisik tidak mungkin. Untuk mencapai itu dibutuhkan sekitar 10.000 agen AI yang berkoordinasi bekerja selama sekitar 88 jam.

Itu adalah masalah besar di luar departemen matematika. Navier-Stokes mendasari desain pesawat terbang, peramalan cuaca, dan bagaimana dokter memodelkan aliran darah, dan telah menahan penjelasan matematis penuh selama hampir 90 tahun.

Namun pengumuman itu berakhir berantakan. Matematikawan NYU Tristan Buckmaster memaparkan pihaknya dalam pernyataan empat halaman: dia dan peneliti Anthropic Levent Alpöge diam-diam mengejar bukti terkait selama hampir setahun dan menyelesaikannya pada 22 Agustus—sebelum Sébastien Bubeck dari OpenAI mengetahuinya dan bergegas untuk menerbitkan lebih dulu.

Buckmaster mengatakan Bubeck menyuruhnya untuk membiarkan OpenAI menerbitkan sehari setelah timnya atau menuliskannya sendiri, tanpa Alpöge, karena ia bekerja di laboratorium saingan. "Mengapa Anda merusak karier Anda?" Bubeck diduga memberitahunya ketika dia menolak.

Gelombang baru model AI ini sangat kuat sehingga membuat matematika terlihat keren. Pada minggu yang sama, Anthropic mengatakan model Claude-nya memformalkan bukti Teorema Terakhir Fermat yang berusia 358 tahun dalam 11 hari, dan matematikawan Terence Tao memperingatkan bahwa laboratorium AI yang saling berlomba menghabiskan persediaan masalah matematika yang sulit dan berguna lebih cepat daripada ditemukannya masalah baru.

OpenAI mengatakan tidak mengejar hadiah $1 juta untuk memublikasikan hasil apa pun—mereka menggunakan masalah-masalah tersebut sebagai tolok ukur publik tentang seberapa cepat modelnya meningkat. Ujian berikutnya dari tolok ukur itu adalah apakah Clay Institute, atau matematikawan mana pun di luar perusahaan, dapat secara independen mengonfirmasi salah satu klaimnya—sebuah proses yang, untuk kiriman Hadiah Milenium sebelumnya, telah memakan waktu bertahun-tahun, bukan minggu.