Model AI Menemukan Contoh Penyangkal terhadap Konjektur Matematika yang Sudah Lama

iconKuCoinFlash
Bagikan
AI summary iconRingkasan
Strategi investasi jangka panjang mungkin perlu dievaluasi ulang karena model AI seperti Claude Fable dan Codex menemukan contoh penyangkal terhadap dugaan Jacobian. Matematikawan Levent Alpöge dan Aaron Lou menggunakan alat-alat ini untuk menghasilkan pemetaan polinomial dalam tiga dimensi, yang membatalkan dugaan tahun 1939. Rasio risiko-terhadap-imbal hasil dari penemuan yang didorong AI masih belum jelas, dengan potensi dampak pada kriptografi dan penelitian ilmiah.
ME AI Berita, menurut pemantauan Beating, matematikawan Anthropic Levent Alpöge menggunakan Claude Fable untuk menemukan contoh penyangkal tiga dimensi terhadap dugaan Jacobian. Masalah ini belum terpecahkan sejak 1939 dan termasuk dalam daftar tantangan matematika penting abad ke-21. Pemetaan polinomial yang diberikan Fable memiliki determinan Jacobian yang selalu −2, tetapi mengirim tiga input berbeda ke satu output yang sama. Dengan demikian, pemetaan tersebut tidak mungkin reversibel, sehingga versi tiga dimensi dan dimensi lebih tinggi terbukti salah, sementara versi dua dimensi masih belum terpecahkan. Peneliti OpenAI Aaron Lou kemudian meminta Codex internal untuk mencoba secara mandiri. Model tersebut, tanpa terhubung ke internet, juga menemukan contoh penyangkal yang secara esensial sama dan menuliskan proses derivasinya. Di masa depan, matematikawan mungkin akan menyerahkan sejumlah besar masalah terbuka secara bersamaan ke berbagai model. AI dapat melakukan percobaan dan kesalahan berulang-ulang untuk mencari contoh penyangkal, celah, dan ide baru, lalu memverifikasi hasilnya dengan alat komputasi simbolis atau pembuktian formal. Banyak arah yang sebelumnya tidak pernah memiliki waktu untuk dieksplorasi secara ekshaustif kini dapat dengan cepat diselidiki, sehingga temuan ilmiah mungkin mempercepat secara signifikan. Namun, masalahnya tidak akan otomatis menjadi lebih sederhana. Model juga akan menghasilkan secara massal bukti-bukti yang tampaknya kaku namun salah, sehingga komunitas akademis mungkin bergeser dari "tidak dapat menemukan jawaban" menjadi "tidak punya waktu untuk memverifikasi jawaban". Risiko yang lebih besar datang dari terobosan nyata. Keamanan RSA bergantung pada kesulitan memfaktorkan bilangan bulat besar, sedangkan Diffie-Hellman dan kriptografi kurva eliptik bergantung pada kesulitan menyelesaikan logaritma diskret. Jika AI menemukan algoritma baru yang cukup cepat, sistem kunci publik yang digunakan dalam enkripsi situs web, tanda tangan digital, transaksi perbankan, dan blockchain bisa menjadi tidak berlaku, sehingga seluruh dunia harus segera mengganti standar kriptografi. (Sumber: BlockBeats)
Penafian: Informasi pada halaman ini mungkin telah diperoleh dari pihak ketiga dan tidak mencerminkan pandangan atau opini KuCoin. Konten ini disediakan hanya untuk tujuan informasi umum, tanpa representasi atau jaminan apa pun, dan tidak dapat ditafsirkan sebagai saran keuangan atau investasi. KuCoin tidak bertanggung jawab terhadap segala kesalahan atau kelalaian, atau hasil apa pun yang keluar dari penggunaan informasi ini. Berinvestasi di aset digital dapat berisiko. Harap mengevaluasi risiko produk dan toleransi risiko Anda secara cermat berdasarkan situasi keuangan Anda sendiri. Untuk informasi lebih lanjut, silakan lihat Ketentuan Penggunaan dan Pengungkapan Risiko.