OpenAI baru saja mengajukan klaim serius.
Riset AI terbarunya melibatkan sekitar 10.000 agen yang bekerja sama untuk memecahkan masalah Navier–Stokes, salah satu tantangan terkenal yang belum terselesaikan dalam matematika.
Alih-alih membiarkan satu model menyerang masalah itu dari satu arah saja, sistem tersebut mengeksplorasi banyak pendekatan secara paralel. OpenAI mengatakan bahwa masalah Euler sebelumnya yang lebih sederhana membantu para agen mengembangkan gagasan yang kemudian diterapkan pada Navier–Stokes.
Terobosan tersebut dilaporkan terjadi setelah sekitar 88 jam.
Hasil yang diusulkan menunjukkan skenario di mana sebuah pusaran terus berkonsentrasi dan meregang hingga terbentuk singularitas dalam waktu hingga terbatas, meskipun energi keseluruhannya tetap terjaga nilainya.
OpenAI kemudian menerjemahkan argumen itu ke dalam Lean agar buktinya bisa dicek secara mekanis.
Bagian itu penting. Argumen yang dihasilkan AI memang satu hal. Bukti yang terverifikasi secara formal adalah hal lain.
Namun, ada catatan penting: hasil OpenAI belum menjadi solusi yang diterima oleh komunitas matematika.
Masalah ini memiliki hadiah $1M Millennium Prize, tetapi OpenAI mengatakan tidak berniat mengklaimnya.
Selain itu, angka sekitar ~$15M yang beredar secara online adalah perkiraan eksternal biaya token, bukan angka resmi dari OpenAI. Dan tidak ada bukti bahwa $WLD digunakan untuk membayarnya.
$SUI $4Stock
Riset AI terbarunya melibatkan sekitar 10.000 agen yang bekerja sama untuk memecahkan masalah Navier–Stokes, salah satu tantangan terkenal yang belum terselesaikan dalam matematika.
Alih-alih membiarkan satu model menyerang masalah itu dari satu arah saja, sistem tersebut mengeksplorasi banyak pendekatan secara paralel. OpenAI mengatakan bahwa masalah Euler sebelumnya yang lebih sederhana membantu para agen mengembangkan gagasan yang kemudian diterapkan pada Navier–Stokes.
Terobosan tersebut dilaporkan terjadi setelah sekitar 88 jam.
Hasil yang diusulkan menunjukkan skenario di mana sebuah pusaran terus berkonsentrasi dan meregang hingga terbentuk singularitas dalam waktu hingga terbatas, meskipun energi keseluruhannya tetap terjaga nilainya.
OpenAI kemudian menerjemahkan argumen itu ke dalam Lean agar buktinya bisa dicek secara mekanis.
Bagian itu penting. Argumen yang dihasilkan AI memang satu hal. Bukti yang terverifikasi secara formal adalah hal lain.
Namun, ada catatan penting: hasil OpenAI belum menjadi solusi yang diterima oleh komunitas matematika.
Masalah ini memiliki hadiah $1M Millennium Prize, tetapi OpenAI mengatakan tidak berniat mengklaimnya.
Selain itu, angka sekitar ~$15M yang beredar secara online adalah perkiraan eksternal biaya token, bukan angka resmi dari OpenAI. Dan tidak ada bukti bahwa $WLD digunakan untuk membayarnya.
$SUI $4Stock
