AlphaGeometry, sistem AI geometri tingkat Olimpiade

AlphaGeometry: sistem AI geometri tingkat Olimpiade

• AlphaGeometry adalah sistem AI yang melampaui pendekatan mutakhir dalam menyelesaikan soal geometri, menunjukkan kemajuan AI di bidang penalaran matematika.
• Olimpiade Matematika Internasional adalah arena modern tempat para matematikawan SMA terbaik dunia berkompetisi, dan kini juga menjadi ajang untuk menguji kemampuan matematika dan penalaran sistem AI.
• AlphaGeometry adalah sistem AI yang mampu menyelesaikan soal geometri kompleks pada tingkat yang mendekati peraih medali emas Olimpiade manusia, dengan menyelesaikan 25 dari 30 soal geometri Olimpiade dalam waktu standar.
• Sistem mutakhir sebelumnya menyelesaikan 10 soal, sementara rata-rata peraih medali emas manusia menyelesaikan 25,9 soal.
• AlphaGeometry menggabungkan daya prediksi model bahasa neural dengan mesin penalaran berbasis aturan untuk melakukan penalaran dalam pemecahan masalah.
• Dikembangkan pula metode untuk menghasilkan 100 juta contoh unik, sehingga AlphaGeometry dapat dilatih tanpa demonstrasi dari manusia.

Pendekatan neuro-simbolik AlphaGeometry

• AlphaGeometry adalah sistem neuro-simbolik yang terdiri dari model bahasa neural dan mesin penalaran simbolik, yang bekerja sama untuk menemukan pembuktian atas teorema geometri yang kompleks.
• Model bahasa dapat dengan cepat memprediksi pola umum dan hubungan dalam data, tetapi kurang kuat dalam penalaran yang ketat maupun kemampuan menjelaskan keputusan.
• Mesin penalaran simbolik didasarkan pada logika formal dan menggunakan aturan yang jelas untuk mencapai kesimpulan; masuk akal dan dapat dijelaskan, tetapi ketika bekerja sendiri pada masalah besar dan kompleks, ia "lambat" dan kurang fleksibel.
• Model bahasa AlphaGeometry memprediksi elemen konstruksi baru yang berguna untuk menyelesaikan soal geometri, sehingga memandu mesin simbolik untuk mendekati solusi.

Menghasilkan 100 juta contoh data sintetis

• Geometri bertumpu pada pemahaman tentang ruang, jarak, bentuk, dan posisi relatif, serta penting di berbagai bidang seperti seni, arsitektur, dan teknik.
• AlphaGeometry menggunakan pendekatan pembuatan data sintetis agar dapat dilatih dari nol dengan meniru proses pembangunan pengetahuan dalam skala besar.
• Sistem ini menghasilkan 1 miliar diagram geometri acak dan menurunkan secara menyeluruh semua hubungan antara titik dan garis pada setiap diagram.
• Kumpulan data yang sangat besar ini, setelah mengecualikan contoh yang serupa, pada akhirnya membentuk dataset pelatihan berisi 100 juta contoh unik.

Memimpin penalaran matematis dengan AI

• Semua solusi untuk soal Olimpiade yang diberikan oleh AlphaGeometry diperiksa dan diverifikasi oleh komputer.
• Hasilnya dibandingkan dengan metode AI sebelumnya dan performa manusia di Olimpiade.
• AlphaGeometry hanya dapat diterapkan pada soal geometri Olimpiade, tetapi tetap merupakan model AI pertama di dunia yang melampaui ambang medali perunggu IMO.
• Sistem ini dibangun di atas upaya Google DeepMind dan Google Research dalam memimpin penalaran matematis AI, dan dimanfaatkan di berbagai bidang, mulai dari eksplorasi keindahan matematika murni hingga pemecahan masalah matematika dan sains menggunakan model bahasa.

GN⁺ berpendapat:

• Pencapaian AlphaGeometry penting karena membuka cakrawala baru dalam penerapan AI untuk menyelesaikan soal geometri.
• Sistem ini menunjukkan kemampuan AI untuk menyelesaikan masalah matematika yang kompleks, yang merupakan kemampuan esensial bagi pengembangan sistem AI umum di masa depan.
• Dengan dirilisnya AlphaGeometry sebagai open source, potensi pemanfaatan AI dalam riset matematika dan sains diperkirakan akan meluas secara signifikan.

[GN⁺]

Komentar Hacker News

• Ringkasan komentar Hacker News:
  • Riset ini tampak jauh lebih praktis dibanding makalah AI matematika DeepMind sebelumnya. AI digunakan untuk mempelajari teorema geometri dan menemukan pembuktian, dengan menambahkan struktur geometris secara acak untuk mencoba membangun bukti.
  • Model ini mungkin sulit digeneralisasi, tetapi pendekatan neuro-simbolik sangat menjanjikan. Pendekatan ini menghubungkan sistem 1 (alat ML) dan sistem 2 (pembuatan bukti logis), sehingga memungkinkan pembelajaran swaterawasi.
  • Ada rasa penasaran tentang seberapa sering model bahasa menghasilkan konstruksi yang berguna. Dalam makalahnya, beberapa konstruksi bantu alternatif diusulkan dan diproses secara paralel untuk mempercepat.
  • Ada apresiasi kepada para penulis karena telah merilis kode dan bobot model. Ini menjadi landasan agar peneliti lain dapat melanjutkan riset.
  • Menarik bahwa model transformer yang digunakan berukuran kecil. Makalah tersebut menjelaskan spesifikasi transformer secara rinci.
  • Kutipan dari Evan Chen menegaskan bahwa bukti yang dihasilkan AI dapat dibaca manusia. Evan Chen adalah anggota terkenal dari komunitas matematika olimpiade.
  • Mengejutkan bahwa state of the art sebelumnya sudah dapat menyelesaikan 10 dari masalah-masalah ini. Ternyata memang ada algoritme praktis untuk menyelesaikan soal geometri bidang.
  • ChatGPT belum mampu menyelesaikan soal bergaya IMO, tetapi jika riset ini benar, ini adalah lompatan besar. Menemukan bukti geometri merupakan bentuk kecerdasan, dan ini tampak seperti langkah lebih dekat menuju AGI.
  • Ada pertanyaan tentang sistem deduktif yang digunakan untuk memverifikasi bukti. Konvensi dalam geometri olimpiade berbeda dari bidang matematika lain, dan tidak jelas bagaimana logika ini dapat diformalkan tanpa kontradiksi.

Ringkasan ini disusun berdasarkan komentar Hacker News dan merangkum pokok isi tiap komentar secara singkat. Termasuk di dalamnya pembahasan tentang kemajuan riset AI untuk pembuktian geometri, karakteristik model, serta perdebatan tentang seberapa dekat riset semacam ini dengan kecerdasan umum buatan (AGI).