Sebuah sistem AI baru-baru ini meraih hasil yang mencengangkan di Olimpiade Matematika Internasional (IMO), sebuah kompetisi bergengsi yang diselenggarakan setiap tahun sejak 1959. Kompetisi yang menarik para matematikawan muda berbakat dari seluruh dunia ini juga telah menjadi ajang uji coba kecerdasan buatan (AI). Tahun lalu, sebuah AI yang dikembangkan oleh sebuah perusahaan teknologi besar berhasil memecahkan empat dari enam soal dan memenangkan medali perak.

Tahun ini, AI canggih dari perusahaan yang sama, Gemini DeepThink, memecahkan rekor sebelumnya dengan memecahkan lima dari enam soal dan meraih 35 poin setara medali emas. Performa ini dimungkinkan oleh kemampuan AI untuk beroperasi dalam bahasa alami dan menghasilkan bukti matematika langsung dari pernyataan soal resmi dalam batas waktu kompetisi.

Keberhasilan Gemini DeepThink berkat mode penalarannya yang disempurnakan, yang menggabungkan pemikiran paralel dan teknik pembelajaran penguatan. Hal ini memungkinkan AI untuk mengeksplorasi beberapa metode penyelesaian secara bersamaan. Model ini dilatih menggunakan korpus solusi matematika berkualitas tinggi yang dipilih secara cermat, yang juga memberikan petunjuk umum tentang cara menyelesaikan soal-soal IMO.

Perusahaan berencana untuk menyediakan model AI canggih ini kepada sekelompok penguji tepercaya, termasuk matematikawan, sebelum menyediakannya bagi pelanggan layanan AI-nya. Pencapaian ini tidak hanya menandai kemajuan besar dalam kemampuan pemecahan masalah matematika AI, tetapi juga mengisyaratkan potensi AI di masa depan untuk membantu penelitian matematika yang kompleks dan upaya ilmiah lainnya.