Jakub Porzycki/NurPhoto melalui Getty Images
Sistem kecerdasan buatan (AI) saat ini memiliki banyak keterampilan tetapi biasanya kurang dalam menangani masalah matematika kompleks. Itu sebabnya Google senang bahwa dua sistem AI DeepMind-nya mampu menyelesaikan beberapa masalah yang menantang dalam kompetisi matematika bergengsi.
Dalam pos baru yang diterbitkan Kamis, Google memamerkan kecerdasan AI dan pencapaian model AI DeepMind AlphaProof dan AlphaGeometry 2-nya. Mengikuti Olimpiade Matematika Internasional (IMO) 2024, kedua sistem tersebut berhasil menyelesaikan empat dari enam masalah. Upaya itu memberikan penghargaan kepada AI Google dengan tingkat yang sama dengan peraih medali perak untuk pertama kalinya dalam kontes ini, yang biasanya ditujukan untuk para matematikawan muda.
Setiap tahun, IMO mengundang matematikawan elit sebelum kuliah untuk bertarung dengan enam masalah yang sangat sulit dalam aljabar, kombinatorika (menghitung, memilih, dan menyusun sejumlah besar objek), geometri, dan teori bilangan. Melampaui manusia, kompetisi juga telah menjadi cara untuk menguji dan mengukur sistem pembelajaran mesin dan AI dalam penalaran matematika lanjutan.
Dengan masalah-masalah diterjemahkan ke dalam bahasa formal yang dipahami oleh AI Google, AlphaProof berhasil menyelesaikan dua masalah aljabar dan satu masalah dalam teori bilangan, tidak hanya menemukan jawabannya tetapi juga membuktikan bahwa jawabannya benar. Google menyebut tantangan teori bilangan sebagai yang paling sulit dalam kompetisi, yang hanya diselesaikan oleh lima peserta manusia. AlphaGeometry 2 menemukan masalah geometri. Tetapi tidak satupun model yang mampu menyelesaikan dua masalah kombinatorika.
AlphaProof adalah sistem berbasis AI yang dapat melatih dirinya sendiri untuk membuktikan pernyataan matematika 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 adalah versi yang ditingkatkan dari AlphaGeometry. Berdasarkan Gemini AI Google, model ini dapat menangani masalah geometri yang sangat menantang, termasuk yang mencakup pergerakan objek dan persamaan sudut, rasio, dan jarak.
Melampaui pengujian keterampilan matematika AlphaProof dan AlphaGeometry 2, Google memanfaatkan IMO untuk mencoba sistem penalaran bahasa alami yang dibangun di atas Gemini dengan kemampuan pemecahan masalah yang canggih. Berbeda dengan 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 bersemangat untuk masa depan di mana matematikawan bekerja dengan alat AI untuk mengeksplorasi hipotesis, mencoba pendekatan baru untuk menyelesaikan masalah yang sudah lama berdiri, dan dengan cepat menyelesaikan elemen-elemen bukti yang memakan waktu – dan di mana sistem AI seperti Gemini menjadi lebih mampu dalam matematika dan penalaran yang lebih luas,” kata perusahaan tersebut dalam posnya.
\”