AI dari China ini Hanya Butuh 80 jam Pecahkan Soal Matematika yang Bertahan 12 Tahun
AI China pecahkan soal matematika 12 tahun dalam 80 jam tanpa intervensi manusia. Terobosan baru otomasi riset matematika.
Terobosan baru dalam dunia kecerdasan buatan (AI) kembali mencuri perhatian. Sebuah sistem AI yang dikembangkan tim peneliti dari Peking University berhasil memecahkan persoalan matematika yang telah bertahan selama 12 tahun hanya dalam waktu 80 jam, dengan intervensi manusia yang nyaris tidak ada.
Dikutip dari TechRadar, masalah tersebut merupakan sebuah dugaan (conjecture) dalam bidang aljabar komutatif yang pertama kali diajukan oleh Dan Anderson pada 2014.
Selain menemukan solusi, sistem AI ini juga mampu memverifikasi pembuktiannya secara mandiri, sebuah capaian yang selama ini menjadi tantangan besar dalam penelitian matematika.
Dalam makalah prapublikasi yang diunggah di arXiv, tim peneliti menyebut keberhasilan ini sebagai contoh nyata otomasi riset matematika.
“Dengan kerangka ini, kami berhasil menyelesaikan masalah terbuka dalam aljabar komutatif dan secara otomatis memformalkan pembuktiannya dengan hampir tanpa campur tangan manusia,” tulis mereka.