Kemajuan AI Mengubah Cara Matematikawan Menemukan dan Membuktikan Teorema

Kemampuan AI dalam matematika mengalami peningkatan drastis sejak 2025, ditandai dengan keberhasilan menyelesaikan soal Olimpiade Matematika Internasional dan tantangan penelitian tingkat lanjut seperti First Proof. Model AI seperti AlphaEvolve dan ChatGPT membantu matematikawan menemukan bukti baru, memformulasikan konjektur, serta mempercepat proses pembuktian yang kompleks. Kolaborasi antara matematikawan ternama dengan perusahaan teknologi besar memanfaatkan AI untuk menjelajahi masalah matematika yang sebelumnya sulit atau memakan waktu lama. Contohnya, pembuktian konjektur Nesterov oleh Ernest Ryu dan penemuan struktur hiperkubus oleh AlphaEvolve menunjukkan hasil nyata yang didorong oleh AI. Namun, masih ada kegagalan dan kesalahan yang harus diverifikasi oleh manusia. Penggunaan AI mengubah praktik riset dan pendidikan matematika dengan mempercepat penemuan serta memungkinkan penyelesaian banyak masalah secara simultan. Tantangan muncul terkait dampak negatif pada pelatihan mahasiswa dan ketimpangan akses terhadap teknologi ini. Meski demikian, mayoritas akademisi percaya AI akan menjadi alat pendukung penting tanpa menggantikan peran manusia secara penuh.