Unggul Di Matematika, AI Google DeepMind Raih Medali Perak

JAKARTA – Kecerdasan buatan Pada ini bisa membantu segala bidang, salah satunya matematika . AI Google DeepMind punya Kepentingan Hingga bidang tersebut dan meraih medali perak.

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

Regu ini berpartisipasi Di Evenbesar Matematika Internasional (IMO) 2024. Kedua sistem tersebut berhasil menyelesaikan empat Di enam masalah. Pengakuan kepada AI Google ini Disorot selevel yang sama Di peraih medali perak Bagi matematikawan muda.

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

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

Google menyebut tantangan teori bilangan sebagai soal tersulit Di Kejuaraan, yang hanya diselesaikan Di lima Di peserta manusia. AlphaGeometry 2 berhasil menyelesaikan masalah geometri. Tetapi tidak satu pun model mampu memecahkan dua masalah kombinatorik.

AlphaProof menjadi sistem berbasis AI yang dapat melatih dirinya sendiri Bagi membuktikan pernyataan matematis menggunakan bahasa formal Lean. Menggabungkan model bahasa yang telah dilatih Sebelumnya Di Metode pembelajaran penguatan AlphaZero, AlphaProof Sebelumnya mengajarkan dirinya sendiri cara bermain dan Mendominasi Di catur, shogi, dan Go.

AlphaGeometry 2 menjadi versi perbaikan Di 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 Bagi mencoba sistem penalaran bahasa alami yang dibangun Hingga atas Gemini Di kemampuan pemecahan masalah tingkat lanjut. Tidak seperti dua model lainnya, model ini tidak memerlukan masalah diterjemahkan Hingga Di bahasa formal.

Kendati pencapaian model-model ini Bisa Jadi terdengar abstrak, Google melihatnya sebagai langkah lain Ke masa Di AI.

“Kami sangat menantikan masa depanpara matematikawan bekerja Di alat AI Bagi mengeksplorasi hipotesis, mencoba pendekatan Terbaru yang berani Bagi menyelesaikan masalah lama, dan Di cepat menyelesaikan elemen bukti yang memakan waktu – dan Hingga mana sistem AI seperti Gemini menjadi lebih mampu Di matematika dan penalaran yang lebih luas,” tulis Google Di unggahannya.