AI dari Universitas Peking Sukses Selesaikan Masalah Matematika Terbuka 2014

Sebuah tim dari Universitas Peking berhasil mengembangkan kerangka kerja AI yang mampu menyelesaikan masalah matematika terbuka yang sudah ada sejak 2014. Masalah ini sebelumnya diajukan oleh Dan Anderson dan tidak terpecahkan selama bertahun-tahun. AI ini menggunakan pendekatan ganda untuk menggabungkan penalaran dan verifikasi formal secara otomatis. Kerangka kerja AI tersebut menyusun serta merangkum literatur matematika selama berdekade-dekade dan membuktikan konjektur dalam aljabar komutatif tanpa bantuan manusia. Proses pembuktian dan verifikasi otomatis ini dilakukan lebih cepat dibandingkan kerja matematikawan manusia. Riset ini dipublikasi dalam arXiv dan belum melalui proses peer review secara formal. Penemuan ini menunjukkan potensi besar automasi dalam penelitian matematika menggunakan AI. Dengan kemampuannya menyelesaikan masalah kompleks secara mandiri, AI dapat merevolusi cara riset dilakukan, mempercepat inovasi dan kolaborasi antar bidang ilmu yang sebelumnya sulit dicapai.