Unggul dalam Matematika, AI Google DeepMind Raih Medali Perak

JAKARTA - Kecerdasan buatan saat ini bisa membantu segala bidang, salah satunya matematika . AI Google DeepMind punya keunggulan di bidang tersebut dan meraih medali perak.

Google pun bangga dua sistem AI DeepMind mampu menyelesaikan beberapa masalah menantang yang diajukan dalam kompetisi matematika bergengsi. ZD Net melansir, Jumat (26/7/2024) Google memuji kecerdasan AI dan prestasi model AI DeepMind AlphaProof dan AlphaGeometry 2.

Tim ini berpartisipasi dalam Olimpiade Matematika Internasional (IMO) 2024. Kedua sistem tersebut berhasil menyelesaikan empat dari enam masalah. Penghargaan kepada AI Google ini dianggap selevel yang sama dengan peraih medali perak untuk matematikawan muda.

Setiap tahun, IMO mengundang matematikawan elit pra-kuliah untuk bergulat dengan enam masalah yang sangat sulit dalam aljabar, kombinatorik (penghitungan, pemilihan, dan pengaturan sejumlah besar objek), geometri, dan teori bilangan. Selain manusia, kompetisi ini juga menjadi cara untuk menguji dan mengukur sistem pembelajaran mesin dan AI dalam penalaran matematika tingkat lanjut.



Soal matematika yang diterjemahkan ke dalam bahasa formal yang dipahami oleh AI Google, AlphaProof menyelesaikan dua masalah aljabar dan satu masalah dalam teori bilangan. Metodenyantidak hanya menemukan jawaban tetapi juga membuktikan bahwa jawaban tersebut benar.

Google menyebut tantangan teori bilangan sebagai soal tersulit dalam kompetisi, yang hanya diselesaikan oleh lima dari peserta manusia. AlphaGeometry 2 berhasil menyelesaikan masalah geometri. Namun tidak satu pun model mampu memecahkan dua masalah kombinatorik.

AlphaProof menjadi sistem berbasis AI yang dapat melatih dirinya sendiri untuk membuktikan pernyataan matematis menggunakan bahasa formal Lean. Menggabungkan model bahasa yang telah dilatih sebelumnya dengan algoritma pembelajaran penguatan AlphaZero, AlphaProof sebelumnya mengajarkan dirinya sendiri cara bermain dan menang dalam catur, shogi, dan Go.



AlphaGeometry 2 menjadi versi perbaikan dari AlphaGeometry. Berdasarkan AI Gemini milik Google, model ini dapat menangani masalah geometri yang sangat menantang, termasuk yang mencakup pergerakan objek dan persamaan sudut, rasio, dan jarak.

Selain menguji kemampuan matematika AlphaProof dan AlphaGeometry 2, Google memanfaatkan IMO untuk mencoba sistem penalaran bahasa alami yang dibangun di atas Gemini dengan kemampuan pemecahan masalah tingkat lanjut. Tidak seperti dua model lainnya, model ini tidak memerlukan masalah diterjemahkan ke dalam bahasa formal.

Meskipun pencapaian model-model ini mungkin terdengar abstrak, Google melihatnya sebagai langkah lain menuju masa depan AI.

"Kami sangat menantikan masa depanpara matematikawan bekerja dengan alat AI untuk mengeksplorasi hipotesis, mencoba pendekatan baru yang berani untuk menyelesaikan masalah lama, dan dengan cepat menyelesaikan elemen bukti yang memakan waktu - dan di mana sistem AI seperti Gemini menjadi lebih mampu dalam matematika dan penalaran yang lebih luas," tulis Google dalam unggahannya.