OpenAI mengatakan sebuah sistem AI yang belum dirilis dan eksperimen berjaya menyelesaikan salah satu masalah tidak terpecahkan paling terkenal dalam matematik selepas kira-kira 10,000 agen bekerja sama selama hanya 88 jam.
Syarikat tersebut menerbitkan penyelesaian yang dicadangkan kepada masalah kewujudan dan kesederhanaan Navier-Stokes, salah satu daripada tujuh Masalah Hadiah Millennium yang membawa hadiah $1 juta. Persamaan-persamaan ini menggambarkan bagaimana cecair seperti air dan udara bergerak, manakala soalan yang belum diselesaikan bertanya sama ada aliran yang licin sempurna akhirnya boleh rosak dan menghasilkan kelajuan yang meningkat tanpa had.
Sistem OpenAI mengatakan ia boleh. Bukti tersebut menggambarkan pusaran cairan yang semakin diregangkan dan dipadatkan sehingga kelajuannya meledak dalam masa terhingga, walaupun tenaga keseluruhan sistem tetap terhingga.
Cecair sebenar tidak boleh bergerak dengan laju tanpa had berdasarkan pemahaman semasa tentang fizik. Pada skala yang cukup ekstrem, andaian di sebalik Navier-Stokes bahawa cecair boleh diperlakukan sebagai satu bahan berterusan akan berhenti sejajar dengan realiti fizikal.
Hasilnya datang dari model dalaman yang, menurut OpenAI, jauh lebih cekap daripada GPT-6 Astra (model awam paling canggihnya). Sekitar 10,000 agen bertukar 2.7 juta mesej dan menghasilkan sekitar 130 bilion token semasa bekerja pada Navier-Stokes, sebelum Astra menghabiskan 17 jam lagi untuk merumuskan dan memeriksa bukti tersebut.
Namun, kesan praktikal bukti itu sendiri akan mengambil masa. Persamaan Navier-Stokes digunakan dalam bidang-bidang seperti reka bentuk pesawat, ramalan cuaca dan penyelidikan aliran darah, jadi pemahaman yang lebih baik mengenai di mana persamaan itu boleh gagal akhirnya boleh meningkatkan cara saintis memodelkan aliran ekstrem dan bergolak.
Implikasi yang lebih besar mungkin ialah sistem yang menemukannya. Jika ribuan agen AI boleh menyerang masalah matematik berusia 90 tahun dalam beberapa hari sahaja, pendekatan yang sama akhirnya boleh diarahkan kepada masalah sukar dalam sains bahan, tenaga, penerbangan dan angkasa, perubatan, dan bidang lain.
Sudah ada kontroversi mengenai sejauh mana keputusan tersebut dicapai secara bebas.
Matematikawan NYU Tristan Buckmaster dan penyelidik Anthropic Levent Alpöge masing-masing sedang bekerja pada masalah dinamik bendalir yang berkaitan rapat dan telah menggunakan alat AI semasa penyelidikan mereka. Buckmaster telah mempertanyakan sama ada karya yang belum diterbitkan yang dimasukkan ke dalam produk OpenAI mungkin telah mempengaruhi model syarikat itu, dalam siri posting di rangkaian sosial Mastodon.
Buckmaster mengatakan beliau dan Alpöge telah meluangkan kira-kira setahun mengejar satu laluan yang tidak biasa terhadap masalah tersebut yang melibatkan daya luaran yang licin, dengan Codex menjadi salah satu alat AI yang digunakan secara meluas semasa kerja mereka.
Dia menambahkan hampir tiada orang lain yang dikenalinya sedang mengejar pendekatan yang sama, dan mempertanyakan bagaimana OpenAI sampai ke sana dalam beberapa hari selepas mengetahui bahawa pasangan itu telah membuat kemajuan.
Buckmaster mengatakan bahawa semasa perbincangan dengan OpenAI, beliau awalnya ditunjukkan satu arahan dan diberitahu bahawa usaha penyelidikan dalaman syarikat itu telah bermula tanpa input manusia selain daripada pernyataan masalah.
Akaun itu berubah sepanjang perbualan, menurut Buckmaster, dengan OpenAI akhirnya mengakui bahawa permintaan pertama telah dihantar hanya dalam beberapa hari sebelumnya, selepas maklumat mengenai kerja Buckmaster dan Alpöge sampai ke syarikat itu.
OpenAI menanggapi dengan mengatakan bahawa penyelidik maupun agen tidak melihat karya mereka sebelum diterbitkan dan tiada data pengguna tertentu diakses. Syarikat itu menambah bahawa ia tidak dapat menyingkirkan kemungkinan data yang telah dianonimkan yang diperoleh daripada penggunaan produk OpenAI membantu meningkatkan modelnya, sambil menyatakan bahawa bukti-bukti itu sendiri berbeza secara signifikan.
Oleh itu, bukti ini belum lagi menjadi penyelesaian yang diiktiraf secara rasmi. Pemberi hadiah, Clay Mathematics Institute, memerlukan penyelesaian yang dicadangkan untuk bertahan terhadap pemeriksaan yang panjang dan mendapat penerimaan luas di kalangan ahli matematik sebelum ia mempertimbangkan untuk memberikan hadiah $1 juta.
Sementara itu, OpenAI mengatakan ia tidak bercadang untuk mengklaim hadiah itu, dan menggambarkan hasil tersebut sebagai bukti seberapa pantas sistem penyelidikannya membaik.