TLDR
TongGeometry adalah sistem AI inovatif yang mampu menyelesaikan masalah geometri dengan efisiensi tinggi. Sistem ini tidak hanya menyelesaikan masalah, tetapi juga dapat menghasilkan masalah baru untuk latihan. Keunggulan TongGeometry menunjukkan kemajuan pesat dalam penelitian kecerdasan buatan di Tiongkok. Sistem AI bernama TongGeometry yang dikembangkan di Beijing Institute for General Artificial Intelligence dan Peking University telah berhasil mengungguli pesaing dari Amerika dalam memecahkan soal matematika khususnya geometri yang setara dengan tingkat Olimpiade Matematika Internasional (IMO). Sistem ini dapat menyelesaikan soal dengan lebih cepat dan menggunakan sumber daya komputer yang lebih sederhana.Selain hanya menyelesaikan soal, TongGeometry juga dapat menghasilkan soal-soal matematika baru yang sudah digunakan dalam ujian tim nasional China dan juga Olimpiade tinggi di Amerika Serikat pada tahun 2024. Ini menunjukkan sistem ini tidak hanya sebagai 'pelajar', tetapi juga sebagai 'pelatih' yang menciptakan soal latihan.TongGeometry menggunakan teknik pencarian pohon yang secara terstruktur mampu menemukan, mengusulkan, dan membuktikan soal geometri tingkat IMO. Melalui pendekatan neuro-symbolic ini, sistem mampu menerapkan strategi yang terbukti efektif di kompetisi matematika internasional dengan efisien.Sistem ini menggunakan data dari 196 soal geometri Olimpiade sebelumnya dan mampu menghasilkan sekitar 6,7 miliar soal yang memerlukan konstruksi tambahan dalam proses pemecahannya. Ini membuka potensi besar dalam menyiapkan materi latihan dan latihan strategi penyelesaian bagi siswa dan pelatih.Dengan kemampuannya yang multifungsi, TongGeometry dipandang sebagai alat revolusioner yang tidak hanya membantu dalam pemecahan masalah matematika tingkat tinggi, tapi juga dapat memacu inovasi dalam pendidikan dan pengembangan AI yang lebih pintar di bidang matematika.
