Ilmuwan Vietnam Meluncurkan Model Matematika AI ke Cakrawala Olimpiade dengan AlphaGeometry

Dalam sebuah terobosan luar biasa yang menantang kemampuan konvensional kecerdasan buatan, tiga ilmuwan asal Vietnam, Trinh Hoang Trieu, Luong Minh Thang, dan Le Viet Quoc, telah mencapai tonggak sejarah dengan membangun model matematika AI, yang diberi nama AlphaGeometry. Berkolaborasi dengan tim ahli, ketiganya, semuanya spesialis AI di Google DeepMind, telah berhasil menciptakan sistem yang tidak hanya bersaing tetapi juga melampaui kemampuan pemecahan masalah manusia peraih medali perunggu di Olimpiade Matematika Internasional (IMO). Kehebatan AlphaGeometry terletak pada pendekatan uniknya terhadap pelatihan dan pemecahan masalah, menghadirkan lompatan signifikan dalam bidang matematika yang dibantu AI.

Model matematika AI Olympian

Inti dari model AI, AlphaGeometry, menunjukkan kemampuannya yang luar biasa dengan berhasil menyelesaikan 25 dari 30 masalah geometri yang digunakan di IMO dari tahun 2000 hingga 2022. Pencapaian ini sangat penting jika dibandingkan dengan sistem terkenal tahun 1970-an, yang diyakini sebagai sistem geometri terkuat. teorema pembukti saat itu, yang hanya berhasil menyelesaikan 10 soal. Keberhasilan ini menempatkan AlphaGeometry di liga tersendiri, melebihi kinerja rata-rata peraih medali emas IMO, yang biasanya menyelesaikan 25.9 soal. Ketiganya, Trieu, Thang, dan Quoc, mengungkapkan keheranan mereka atas pencapaian yang belum pernah terjadi sebelumnya, menekankan kompleksitas permasalahan matematika yang seringkali melibatkan ratusan langkah.

Fitur khas AlphaGeometry terletak pada kombinasi model bahasa saraf dan mesin simbolik, yang dikalibrasi secara cermat untuk memecahkan masalah geometri. Yang membedakannya adalah data sintetis yang diandalkannya, tanpa contoh manusia, sehingga memungkinkan model tersebut menghasilkan respons berkualitas tinggi “dari ketiadaan”. Hal ini membedakan AlphaGeometry dari model AI lainnya seperti ChatGPT atau Gemini, yang utamanya mencari jawaban yang sudah ada atau serupa dengan solusi manusia. Profesor Ngo Bao Chau dari departemen Matematika Universitas Chicago mengakui kemiripan penyelesaian masalah geometri IMO dengan catur, dan menyoroti pencapaian terpuji dari para peneliti AI.

Perjalanan menuju AlphaGeometri

Asal usul AlphaGeometry dapat ditelusuri kembali ke tahun 2019 ketika Trinh Hoang Trieu mengonsep idenya saat mencari topik penelitian kelulusan di Universitas New York. Trieu, mantan mahasiswa di Universitas Sains Kota Ho Chi Minh, membayangkan sebuah model yang mampu memecahkan masalah geometri sederhana. Penasaran dengan ide-ide Trieu, Le Viet Quoc dan Luong Minh Thang, mantan mahasiswa jurusan matematika, bergabung dalam upaya ini. Trieu, bergabung dengan Google DeepMind pada tahun 2021, dan timnya dengan rajin mengerjakan AlphaGeometry, mencapai terobosan tiga bulan setelah masalah geometri IMO terpecahkan.

Tim membayangkan AlphaGeometry lebih dari sekedar keajaiban matematika. Trieu menyarankan potensi penggunaannya sebagai sistem panduan yang mendukung siswa sekolah menengah atas yang mengalami masalah geometri, sehingga menandai langkah menuju pendidikan yang dibantu AI. Evan Chen, peraih medali emas di IMO 2014 dan peneliti di Massachusetts Institute of Technology, mengungkapkan keterkejutannya atas kemampuan AlphaGeometry, menekankan ketergantungannya pada prinsip-prinsip geometris murni, yang membedakannya dari metode konvensional yang menggunakan koordinat dan aljabar.

Perjalanan luar biasa AlphaGeometry dalam matematika yang dibantu AI

Ketika AlphaGeometry menjadi pusat perhatian dengan kemampuannya yang tak tertandingi, muncul pertanyaan: Kemungkinan apa yang ada di masa depan untuk lanskap matematika yang dibantu AI? Dengan potensi untuk membantu memecahkan tujuh Masalah Hadiah Milenium, para peneliti mengantisipasi kelanjutan pengembangan dan penerapan AlphaGeometry di berbagai bidang. Publikasi karya mereka di Nature, sebuah jurnal bergengsi, membuat Le Viet Quoc bangga karena menyoroti potensi AI tidak hanya untuk memecahkan masalah matematika tetapi juga untuk mendorong kemajuan umat manusia. Dapatkah pendekatan unik AlphaGeometry membuka jalan bagi era baru dalam matematika yang dibantu AI?

Di dunia di mana batas-batas kecerdasan buatan terus berkembang, ciptaan para ilmuwan Vietnam, AlphaGeometry, menjadi bukti akan kemungkinan-kemungkinan yang tak terbatas ketika kecerdikan manusia menyatu dengan teknologi mutakhir.

Sumber: https://www.cryptopolitan.com/vietnamese-ai-math-model-alphageometry/