OpenAI mengatakan sistem AI menyelesaikan masalah Navier-Stokes. Ini adalah salah satu dari tujuh Masalah Hadiah Milenium, pertanyaan terbuka paling sulit dalam matematika.
Perusahaan mengatakan 10.000 agen AI bekerja sama selama 88 jam untuk mencapai bukti tersebut. Profesor NYU Tristan Buckmaster mempertanyakan kredit tersebut.
Apa yang Diklaim OpenAI
Persamaan Navier-Stokes menjelaskan bagaimana cairan bergerak, seperti udara atau air.
Bukti dari OpenAI menunjukkan bahwa persamaan dapat mencapai ledakan dalam waktu terbatas, ketika kecepatan fluida menjadi tak hingga alih-alih tetap halus.
Bukti tersebut berasal dari model yang belum dirilis yang, menurut OpenAI, lebih unggul daripada sistem GPT-6 Astra yang telah dirilis.
GPT-6 Astra kemudian menghabiskan 17 jam memverifikasi logika bukti tersebut.
Institut Matematika Clay menawarkan $1 juta untuk menyelesaikan salah satu dari tujuh masalah tersebut. OpenAI mengatakan tidak akan mengklaim hadiah tersebut.
Sengketa Kredit
Profesor NYU Tristan Buckmaster mengatakan dia dan matematikawan Anthropic Levent Alpöge dekat dengan hasil terkait.
Karya mereka berada di dalam OpenAI’s Codex, sebuah model AI yang berfokus pada pemrograman. Buckmaster mengatakan itu mungkin telah mengeksposnya kepada tim OpenAI.
Buckmaster menanggapi kekhawatiran tersebut secara langsung dalam pernyataan publik:
Saya tidak tahu apa yang dilakukan model mereka, atau bagaimana caranya. Saya tidak tahu apakah data kami digunakan. Saya tidak menuduh siapa pun melakukan apa pun.
— Tristan Buckmaster, matematikawan NYU
Peneliti OpenAI Sebastien Bubeck merespons di sesi briefing pers. Ia menyangkal bahwa perusahaan telah mengakses atau menggunakan karya mereka yang belum dipublikasikan.
OpenAI juga mengakui sesuatu yang lain. Perusahaan tidak dapat mengecualikan bahwa penggunaan produk oleh para peneliti membentuk pelatihan modelnya.
Perselisihan ini muncul saat OpenAI bersiap untuk go public dengan nilai dilaporkan $1 triliun. Anthropic sedang mengejar valuasi yang lebih besar melalui upaya IPO sendiri.
