pibitek.biz -Sistem yang dikembangkan oleh DeepMindoleh DeepMind, anak perusahaan Google, mencetak rekor baru dalam kinerja AI pada masalah geometri. AlphaGeometry, hasil karya DeepMind, berhasil memecahkan 25 dari 30 masalah geometri yang diambil dari Olimpiade Matematika Internasional antara tahun 2000 dan 2022. AlphaGeometry berhasil melampaui sebagian besar pelajar matematika muda dan hampir mencapai prestasi medali emas IMO.
2 – Fitur Baru ChatGPT: Memori Jangka Panjang 2 – Fitur Baru ChatGPT: Memori Jangka Panjang
3 – Peneliti Bikin Worm Malware yang Racuni ChatGPT dan Gemini 3 – Peneliti Bikin Worm Malware yang Racuni ChatGPT dan Gemini
DeepMind memperkirakan bahwa rata-rata pemenang medali emas akan memecahkan 26 dari 30 masalah. Olimpiade Matematika Internasional dianggap sebagai kompetisi matematika paling prestisius di dunia untuk pelajar SMA. Sebagai solusi atas keterbatasan model bahasa dalam penalaran matematika, DeepMind menggabungkan model bahasa dengan mesin deduksi simbolik tradisional yang melakukan penalaran aljabar dan geometri.
Penelitian ini dipimpin oleh Trieu Trinh, seorang ilmuwan komputer yang baru saja meraih gelar PhD-nya dari Universitas New York dan menjadi resident di DeepMind antara 2021 dan 2023. Evan Chen, mantan pemenang medali emas Olimpiade, yang mengevaluasi output AlphaGeometry, memuji keunggulannya karena "verifikatif dan bersih". Output AlphaGeometry mirip dengan tulisan matematikawan manusia, berbeda dengan beberapa software sebelumnya yang menghasilkan bukti geometri kompleks sulit dipahami oleh reviewer manusia.
AlphaGeometry adalah bagian dari proyek besar DeepMind untuk meningkatkan kemampuan penalaran LLM dengan menggabungkannya dengan algoritma pencarian tradisional. DeepMind telah menerbitkan beberapa makalah dalam bidang ini selama setahun terakhir. Sebagai contoh sederhana yang ditunjukkan dalam makalah AlphaGeometry, tujuannya adalah membuktikan bahwa jika sebuah segitiga memiliki dua sisi yang sama (AB dan AC), maka sudut yang berlawanan dengan sisi-sisi tersebut juga akan sama.
Ini dapat dicapai dengan menciptakan titik D di tengah sisi ketiga segitiga (BC). Mudah untuk menunjukkan bahwa semua tiga sisi segitiga ABD memiliki panjang yang sama dengan sisi-sisi yang sesuai dari segitiga ACD. Dan dua segitiga dengan sisi yang sama selalu memiliki sudut yang sama.
Masalah geometri dari IMO jauh lebih kompleks dari contoh sederhana ini, tetapi pada dasarnya, mereka memiliki struktur yang sama. Semua dimulai dengan bentuk geometris dan beberapa fakta tentang bentuk tersebut, seperti "sisi AB memiliki panjang yang sama dengan sisi AC". Tujuannya adalah menghasilkan rangkaian inferensi valid yang berakhir dengan pernyataan tertentu seperti "sudut ABC sama dengan sudut BCA".
Selama bertahun-tahun, kita telah memiliki software yang dapat menghasilkan daftar kesimpulan valid yang dapat diambil dari seperangkat asumsi awal. Masalah geometri sederhana dapat diselesaikan dengan "kekerasan": secara mekanis mencantumkan setiap fakta yang mungkin diambil dari asumsi yang diberikan, kemudian mencantumkan setiap inferensi yang mungkin dari fakta-fakta tersebut, dan seterusnya hingga mencapai kesimpulan yang diinginkan. Namun, metode pencarian ini tidak memungkinkan untuk masalah geometri tingkat IMO karena ruang pencariannya terlalu besar.
