OpenAI Membuktikan ETH Salah, dan Crypto Twitter Punya Pertanyaan

OpenAI mengatakan ETH salah, dan Crypto Twitter bereaksi persis seperti yang Anda harapkan. "Sial, trader algo baru saja membantai $ETH," tulis seorang pengguna bernama Takumi di X, sementara Andrew Jiang bercanda: "Vitalik sudah sangat diam sejak ini muncul."

Tapi tenang saja, degens, ETH yang dimaksud adalah Hipotesis Waktu Eksponensial, sebuah dugaan ilmu komputer dari tahun 1999 yang tidak ada hubungannya dengan Ethereum, harganya, atau salah satu pendirinya Vitalik Buterin. Jadi, para bro crypto, Anda bisa bernapas lega.

OpenAI menerbitkan makalah sepanjang 67 halaman yang mengklaim AI-nya menemukan cara untuk mengatasi hipotesis tersebut, dan orang-orang yang mengusulkannya sekarang sedang memeriksa pekerjaan itu.

Ilmuwan komputer Russell Impagliazzo dan Ramamohan Paturi mengusulkan ETH bersama Francis Zane, dan itu menyatakan bahwa teka-teki logika klasik yang disebut 3-SAT (mencari pengaturan benar atau salah yang memenuhi sekumpulan aturan, tiga opsi sekaligus) tidak dapat diselesaikan jauh lebih cepat daripada mencoba setiap kombinasi. Ratusan makalah mengasumsikan ini untuk menunjukkan bahwa masalah dalam teori graf, biologi komputasi, basis data, dan geometri tidak dapat diselesaikan dengan cepat, menurut OpenAI.

Myriad: Ke mana ETH selanjutnya? Klik untuk membuat prediksi Anda.

Dengan kata lain, ETH adalah peta tentang apa yang kemungkinan tidak akan pernah dilakukan komputer dengan cepat, dan OpenAI mengatakan modelnya baru saja menggambarnya ulang. "Penolakan terhadap ETH membuka kembali pertanyaan tentang seberapa cepat tugas-tugas ini bisa menjadi," tulis perusahaan itu di blognya, "dan mungkin membantu membimbing pencarian algoritma yang lebih baik."

Makalah tersebut, bertanggal 17 Oktober dan direvisi pada 25 Oktober, menggambarkan algoritma deterministik (satu yang tidak memiliki elemen acak) yang menghitung setiap penugasan yang memuaskan dari teka-teki semacam itu dalam waktu subeksponensial, yang berarti pekerjaan tumbuh lebih lambat daripada eksponensial mana pun dalam jumlah variabel. Menghitung solusi lebih sulit daripada memutuskan apakah satu solusi ada, jadi pekerjaan yang lebih sulit membawa pekerjaan yang lebih mudah secara gratis.

OpenAI mengatakan AI-nya menemukan pembuktian pada 16 Oktober dan bahwa itu diformalkan dalam Lean, perangkat lunak yang memverifikasi setiap langkah logis secara mekanis, pada 17 Oktober. Keduanya tersedia di GitHub, jalur yang sama dengan 722 manuskrip matematika yang diterbitkannya awal bulan ini, di mana hanya 162 yang disertai dengan hasil utama yang diperiksa oleh komputer.

Impagliazzo, Paturi, dan Ryan Williams dari MIT memimpin pemeriksaan independen, dan mereka berhati-hati tentang peran mereka. "Keterlibatan kami tidak boleh dianggap sebagai sertifikasi klaim tersebut," tulis ketiganya dalam sebuah surat terbuka, menambahkan bahwa "hasil yang memiliki signifikansi ini memerlukan pengawasan independen yang hati-hati dan pemahaman bahwa orang lain dapat merekonstruksi, mempertanyakan, dan membangun di atasnya."

OpenAI mengatakan para peserta tidak menandatangani perjanjian kerahasiaan dan bekerja tanpa bayaran, dan perusahaan setuju untuk menerbitkan semua data mentah dan mendanai konferensi tentang hasil tersebut.

Manfaat praktis masih jauh: "Menemukan algoritma semacam itu, dan mengubah kemajuan teoretis menjadi perbaikan praktis, akan memerlukan penelitian lebih lanjut yang signifikan," tulis OpenAI. Makalah itu sendiri menyatakan bahwa hasilnya tidak menunjukkan bahwa setiap masalah NP dapat diselesaikan dalam waktu subeksponensial, jadi P versus NP, pertanyaan apakah setiap masalah dengan jawaban yang mudah diperiksa juga mudah diselesaikan, tetap terbuka.

Dalam istilah sederhana, P adalah kelas masalah yang dapat diselesaikan komputer secara efisien, sementara NP adalah kelas masalah yang solusinya yang diusulkan dapat diperiksa secara efisien. Jadi P versus NP --- pertanyaan apakah setiap masalah yang jawabannya mudah diperiksa juga mudah diselesaikan --- tetap terbuka.

Anthropic, yang tidak ingin kalah dalam perang matematika, kemudian memposting makalah yang dikreditkan kepada Claude berjudul "Algoritma Waktu 2^o(n) untuk 3-SAT" dan bertanggal 26 Oktober. Repositori tersebut, yang juga menangani masalah ETH, mengatakan bahwa model penelitian internal Claude menemukan algoritma tersebut, dan "hasilnya murni asimptotik dan tidak mengatakan apa-apa tentang menyelesaikan rumus dalam praktik."
OpenAI Mengatakan Model AI Rahasia Memecahkan Ratusan Masalah Matematika Terbuka dalam Satu Prompt---Matematikawan Ingin Bukti

Claude memformalkan Teorema Terakhir Fermat dalam Lean pada bulan September, dan Terence Tao melihat tumpang tindih semacam ini akan terjadi. "Kami sekarang telah melihat bahwa bahkan rumor tentang seseorang yang mengerjakan masalah dapat memicu sejumlah besar upaya bertenaga AI untuk meratakannya sebelum proyek penelitian asli memiliki waktu untuk mencapai potensi penuhnya," tulis matematikawan itu pada bulan September.

Kontribusi OpenAI baru-baru ini sebesar $5 juta kepada Simons Foundation akan mendanai lokakarya, konferensi, dan program khusus untuk membantu peneliti memeriksa dan membangun hasil yang dihasilkan AI.

Konten ini disediakan hanya untuk tujuan informasi umum dan bukan merupakan nasihat keuangan, investasi, hukum, atau pajak. Setiap acara, reward, promosi online, atau informasi terkait yang disebutkan di sini tidak boleh dianggap sebagai rekomendasi, ajakan, atau undangan untuk membeli, menjual, memperdagangkan, atau melakukan transaksi aset kripto apa pun. Aset kripto sangat fluktuatif dan dapat mengakibatkan kerugian. Ketersediaan layanan, produk, dan acara terkait WEEX dapat berbeda-beda di setiap wilayah. Anda bertanggung jawab untuk memastikan bahwa partisipasi Anda sesuai dengan hukum dan peraturan setempat yang berlaku.