JAKARTA – Kecerdasan buatan kini bisa membantu di segala bidang, salah satunya matematika. DeepMind AI Google mendominasi lapangan dan memenangkan medali perak.
Google bangga bahwa dua sistem AI DeepMind mampu memecahkan banyak masalah tersulit yang diajukan ke kompetisi matematika bergengsi. ZD Net pada Jumat (26/7/2024) memuji pencapaian model AI Google AI Intelligence dan AlphaProof dan AlphaGeometry 2 milik DeepMind.
Kelompok ini mengikuti International Mathematical Olympiad (IMO) 2024. Google AI Award dianggap sebagai medali perak bagi matematikawan muda.
Setiap tahun, IMO menantang ahli matematika elit pra-perguruan tinggi untuk memecahkan enam masalah yang sangat sulit dalam aljabar, kombinatorik (menghitung, memilih, dan mengatur objek dalam jumlah besar), geometri, dan teori bilangan. Selain manusia, kompetisi tersebut merupakan cara untuk menguji dan mengukur sistem pembelajaran mesin dan AI dalam penalaran matematika tingkat lanjut.
Masalah matematika diterjemahkan ke dalam bahasa formal yang dapat dipahami oleh AI Google, AlphaProof memecahkan dua masalah dalam aljabar dan satu masalah dalam teori bilangan. Metodenya tidak hanya menemukan jawaban, tetapi juga membuktikan bahwa jawaban tersebut benar.
Google menyebut soal teori bilangan sebagai soal tersulit dalam kompetisi tersebut, karena hanya lima orang yang menyelesaikannya. Alpha Geometry 2 berhasil menyelesaikan masalah geometri. Namun kedua model tersebut tidak dapat menyelesaikan permasalahan kombinatorik.
AlphaProof adalah sistem berbasis AI yang mengajarkan Anda untuk membuktikan pernyataan matematika menggunakan bahasa formal Lean. Dengan menggabungkan model bahasa terlatih dengan algoritma pembelajaran penguatan AlphaZero, AlphaProof sebelumnya telah menggunakan catur, shogi, dan banyak lagi. mengajarkan cara bermain dan memenangkan pertandingan.
Alpha Geometry 2 adalah versi lanjutan dari Alpha Geometry. Berdasarkan AI Gemini Google, model ini dapat memecahkan masalah geometri yang kompleks, termasuk pergerakan objek dan persamaan sudut, proporsi, dan jarak.
Selain menguji kemampuan matematika AlphaProof dan AlphaGeometry 2, Google akan menggunakan IMO untuk menguji sistem penalaran bahasa alami bawaan Gemini dengan kemampuan pemecahan masalah tingkat lanjut. Berbeda dengan dua model lainnya, model ini tidak memerlukan masalah penerjemahan ke dalam bahasa formal.
Meskipun keberhasilan model-model ini tampaknya hanya berumur pendek, Google melihatnya sebagai langkah maju menuju masa depan AI.
“Masa depan matematikawan akan mengeksplorasi hipotesis, mencoba cara-cara baru yang berani untuk memecahkan masalah lama, dan dengan cepat menyelesaikan bukti-bukti yang memakan waktu – dan kami menantikan masa depan di mana sistem AI seperti Gemini pandai dalam bidang matematika. Berpikirlah lebih besar,” tulis Google dalam unggahannya.