Unggul dalam Matematika, AI Google DeepMind Raih Medali Perak
Jum'at, 26 Juli 2024 - 10:05 WIB
loading...
A
A
A
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.
Baca Juga: 7 Fakta Unik di Balik Kerumitan Matematika
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.
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.
Baca Juga: 7 Fakta Unik di Balik Kerumitan Matematika
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.
Lihat Juga :
