🚨OpenAI mengatakan AI-nya telah MEMBANTAH ETH.
ETH adalah singkatan dari Exponential Time Hypothesis (Hipotesis Waktu Eksponensial), asumsi lama tentang sulitnya menyelesaikan masalah komputasi tertentu seiring bertambahnya skala masalah tersebut.
OpenAI mengatakan AI-nya telah menciptakan algoritma yang lebih cepat daripada yang dimungkinkan oleh hipotesis tersebut, sehingga menentang asumsi yang digunakan dalam ratusan makalah penelitian.
Menurut perusahaan tersebut, pembuktian yang membantah hipotesis itu ditemukan pada 16 Oktober, diverifikasi keesokan harinya dengan sistem pemeriksa bukti Lean, lalu dirilis di GitHub beserta verifikasi formalnya.
Ryan Williams dari MIT akan meninjau hasil tersebut bersama pengusul ETH, Russell Impagliazzo dan Ramamohan Paturi. OpenAI mengatakan bahwa ‘penelitian tambahan yang signifikan’ diperlukan agar hasil ini dapat menghasilkan algoritma dunia nyata yang lebih cepat.
Perusahaan itu juga mengklaim dua terobosan lainnya:
• Matematika: Pembuktian konjektur Kakeya dalam semua dimensi, setelah pembuktian kasus 3 dimensi tahun lalu.
• Fisika: Menghasilkan pembuktian yang menyelesaikan sebagian dari soal Millennium Prize senilai $1 JUTA. Karya tersebut belum diterbitkan, dan sebuah tim yang dipimpin oleh peraih Nobel David Gross akan menyelidikinya.
ETH adalah singkatan dari Exponential Time Hypothesis (Hipotesis Waktu Eksponensial), asumsi lama tentang sulitnya menyelesaikan masalah komputasi tertentu seiring bertambahnya skala masalah tersebut.
OpenAI mengatakan AI-nya telah menciptakan algoritma yang lebih cepat daripada yang dimungkinkan oleh hipotesis tersebut, sehingga menentang asumsi yang digunakan dalam ratusan makalah penelitian.
Menurut perusahaan tersebut, pembuktian yang membantah hipotesis itu ditemukan pada 16 Oktober, diverifikasi keesokan harinya dengan sistem pemeriksa bukti Lean, lalu dirilis di GitHub beserta verifikasi formalnya.
Ryan Williams dari MIT akan meninjau hasil tersebut bersama pengusul ETH, Russell Impagliazzo dan Ramamohan Paturi. OpenAI mengatakan bahwa ‘penelitian tambahan yang signifikan’ diperlukan agar hasil ini dapat menghasilkan algoritma dunia nyata yang lebih cepat.
Perusahaan itu juga mengklaim dua terobosan lainnya:
• Matematika: Pembuktian konjektur Kakeya dalam semua dimensi, setelah pembuktian kasus 3 dimensi tahun lalu.
• Fisika: Menghasilkan pembuktian yang menyelesaikan sebagian dari soal Millennium Prize senilai $1 JUTA. Karya tersebut belum diterbitkan, dan sebuah tim yang dipimpin oleh peraih Nobel David Gross akan menyelidikinya.
