OpenAI mengatakan sebuah sistem AI eksperimental yang belum dirilis berhasil menyelesaikan salah satu masalah paling terkenal yang belum terpecahkan dalam matematika setelah sekitar 10.000 agen bekerja sama selama hanya 88 jam.
Perusahaan tersebut menerbitkan solusi yang diusulkan terhadap masalah eksistensi dan kehalusan Navier-Stokes, salah satu dari tujuh Masalah Hadiah Milenium yang menawarkan hadiah $1 juta. Persamaan-persamaan ini menggambarkan bagaimana fluida seperti air dan udara bergerak, sementara pertanyaan yang belum terpecahkan menanyakan apakah aliran yang sempurna halus pada akhirnya dapat rusak dan menghasilkan kecepatan yang tumbuh tanpa batas.
Sistem OpenAI mengatakan itu bisa. Bukti yang dijelaskan adalah vorteks fluida yang menjadi semakin memanjang dan terkonsentrasi hingga kecepatannya meledak dalam waktu terbatas, meskipun energi total sistem tetap terbatas.
Cairan nyata tidak dapat bergerak secepat tak hingga sesuai pemahaman fisika saat ini. Pada skala yang cukup ekstrem, asumsi di balik Navier-Stokes bahwa cairan dapat diperlakukan sebagai satu zat kontinu akan berhenti sesuai dengan kenyataan fisik.
Hasilnya berasal dari model internal yang menurut OpenAI jauh lebih mampu daripada GPT-6 Astra (model publik tercanggihnya). Sekitar 10.000 agen bertukar 2,7 juta pesan dan menghasilkan sekitar 130 miliar token saat mengerjakan Navier-Stokes, sebelum Astra menghabiskan 17 jam lagi untuk memformalkan dan memeriksa buktinya.
Dampak praktis dari bukti itu sendiri akan membutuhkan waktu. Persamaan Navier-Stokes digunakan di bidang-bidang seperti desain pesawat terbang, peramalan cuaca, dan penelitian aliran darah, sehingga pemahaman yang lebih baik tentang di mana persamaan tersebut dapat gagal pada akhirnya dapat meningkatkan cara ilmuwan memodelkan aliran ekstrem dan turbulen.
Implikasi yang lebih besar mungkin terletak pada sistem yang menemukannya. Jika ribuan agen AI dapat menyerang masalah matematis berusia 90 tahun dalam hitungan hari, pendekatan yang sama pada akhirnya bisa diarahkan terhadap masalah-masalah sulit di ilmu material, energi, kedirgantaraan, kedokteran, dan bidang lainnya.
Sudah ada kontroversi mengenai seberapa independen hasil tersebut dicapai.
Matematikawan NYU Tristan Buckmaster dan peneliti Anthropic Levent Alpöge secara terpisah sedang mengerjakan masalah dinamika fluida yang terkait erat dan telah menggunakan alat AI selama penelitian mereka. Buckmaster mempertanyakan apakah karya yang belum dipublikasikan yang dimasukkan ke dalam produk OpenAI dapat memengaruhi model perusahaan tersebut, dalam a series of posts di jaringan sosial Mastodon.
Buckmaster mengatakan dia dan Alpöge telah meluangkan sekitar satu tahun mengejar jalur yang tidak biasa menuju masalah ini yang melibatkan gaya eksternal halus, dengan Codex di antara alat AI yang banyak digunakan selama pekerjaan mereka.
Dia menambahkan hampir tidak ada orang lain yang dia kenal yang mengejar pendekatan yang sama, dan mempertanyakan bagaimana OpenAI sampai padanya dalam hitungan hari setelah mengetahui bahwa pasangan tersebut telah membuat kemajuan.
Buckmaster mengatakan bahwa selama diskusi dengan OpenAI, ia awalnya diperlihatkan sebuah prompt dan diberi tahu bahwa upaya penelitian internal perusahaan telah dimulai tanpa input manusia selain pernyataan masalah.
Akun tersebut berubah sepanjang percakapan, menurut Buckmaster, dengan OpenAI akhirnya mengakui bahwa permintaan pertama telah dikirim hanya dalam beberapa hari sebelumnya, setelah informasi tentang pekerjaan Buckmaster dan Alpöge sampai ke perusahaan.
OpenAI merespons dengan mengatakan bahwa peneliti maupun agennya tidak melihat karya mereka sebelum diterbitkan dan bahwa tidak ada data pengguna spesifik yang diakses. Perusahaan menambahkan bahwa mereka tidak dapat menyingkirkan kemungkinan bahwa data yang telah diidentifikasi ulang yang berasal dari penggunaan produk OpenAI membantu meningkatkan modelnya, sambil menyatakan bahwa bukti-bukti itu sendiri berbeda secara signifikan.
Dengan demikian, bukti tersebut belum merupakan solusi yang diakui secara resmi. Clay Mathematics Institute sebagai pemberi hadiah memerlukan solusi yang diusulkan untuk bertahan terhadap pengawasan yang panjang dan mendapatkan penerimaan luas di kalangan matematikawan sebelum mempertimbangkan pemberian hadiah $1 juta.
Sementara itu, OpenAI mengatakan tidak berniat mengklaim hadiah tersebut, dan menggambarkan hasilnya sebagai bukti seberapa cepat sistem penelitiannya meningkat.