Revolusi AI dalam Matematika: Bukti Baru Ditemukan dengan Kecepatan Luar Biasa

Revolusi AI dalam matematika kini telah mencapai titik puncaknya. Pada musim panas 2025, sejumlah model kecerdasan buatan (AI) berhasil menyelesaikan lima dari enam soal di International Mathematical Olympiad, sebuah kompetisi tingkat tinggi untuk pelajar terbaik dunia. Meskipun hasil ini mengejutkan banyak matematikawan, karena AI diperkirakan belum cukup matang untuk menyelesaikan masalah matematika terbuka, prestasi ini menandai awal perhatian serius terhadap potensi AI dalam riset matematika.

AI Membuka Jalan Baru dalam Penemuan Matematika

Setelah kejutan tersebut, para matematikawan yang awalnya skeptis mulai bereksperimen dengan AI. Mereka menemukan bahwa AI tidak hanya mampu menyelesaikan teka-teki matematika, tetapi juga membantu mencetak kemajuan orisinal dalam waktu singkat. Beberapa hasil yang dicapai bahkan setara dengan temuan yang diterbitkan di jurnal matematika profesional. Ada kasus di mana algoritma dapat merumuskan konjektur, membuktikannya, dan memverifikasi bukti dengan sedikit intervensi manusia. Di lain waktu, diskusi interaktif dengan model bahasa besar seperti ChatGPT, Claude, atau Gemini menghasilkan strategi pembuktian baru.

"Ini seperti seseorang yang memegang sekop dan yang lain memegang cangkul. Bersama-sama kami bisa menggali terowongan," kata Terence Tao, matematikawan terkemuka dari Universitas California, Los Angeles (UCLA). "2025 adalah tahun ketika AI mulai sangat berguna untuk berbagai tugas," tambahnya.

Menurut Daniel Litt dari Universitas Toronto, walaupun AI masih menyelesaikan masalah yang relatif mudah, teknologi ini mengubah cara matematika dilakukan. Tao menambahkan bahwa di masa depan, matematika akan terasa dan tampak berbeda dari metode tradisional karena kemampuan AI menyelesaikan ribuan masalah sekaligus dan melakukan studi statistik secara bersamaan.

Tantangan dan Perubahan Budaya dalam Komunitas Matematika

Perubahan besar ini juga menimbulkan kekhawatiran. Akshay Venkatesh dari Institute for Advanced Study mengingatkan bahwa penggunaan AI yang berlebihan bisa membuat matematikawan kehilangan pengalaman langsung dalam memahami matematika secara mendalam. Meski begitu, baik Tao maupun Venkatesh sepakat bahwa dampak AI akan sangat signifikan, meski dengan sikap hati-hati terhadap nilai-nilai budaya akademik yang harus dijaga.

Fenomena ini juga mendorong banyak matematikawan meninggalkan dunia akademik untuk bergabung dengan perusahaan teknologi besar seperti OpenAI, Google, dan startup AI yang fokus pada matematika, seperti Harmonic, Logical Intelligence, Axiom Math, dan Math Inc. Jeremy Avigad, direktur Institute for Computer-Aided Reasoning in Mathematics di Carnegie Mellon University, menjelaskan bahwa di dunia korporasi, AI dalam matematika menarik perhatian karena kunci kecerdasan umum adalah menggabungkan pembelajaran mesin dengan ketelitian matematika.

Perjalanan Evolusi AI dalam Matematika

Meskipun puncak kemajuan AI di bidang matematika baru terlihat pada tahun 2025, usaha mengintegrasikan AI dalam pemecahan masalah matematika sudah dimulai sejak 2018 oleh Google DeepMind dan sejak 2019 oleh François Charton di Axiom. Awalnya, fokus mereka adalah menguji AI pada masalah dengan solusi yang sudah diketahui untuk menguji efektivitas teknologi ini. Dengan berkembangnya data dan teknik, AI mulai mengerjakan masalah baru yang lebih kompleks, seperti mengoptimalkan susunan titik pada grid tanpa membentuk segitiga sama kaki.

Pada Januari 2025, Terence Tao dan Javier Gómez-Serrano bekerja sama dengan dua matematikawan DeepMind, Adam Wagner dan Bogdan Georgiev, mengembangkan sebuah sistem AI bernama AlphaEvolve. Sistem ini menggunakan Gemini untuk menulis program Python yang kemudian dikembangkan menggunakan algoritma genetika untuk menemukan solusi optimal dari masalah matematika. Dalam beberapa bulan, mereka berhasil menyelesaikan satu masalah baru setiap beberapa hari, sekaligus mempelajari cara meningkatkan interaksi dengan AI tersebut. Mereka menemukan bahwa memberikan "dorongan positif" dalam prompt terbukti meningkatkan performa AI.

Hasilnya, dari 67 masalah yang dicoba, AlphaEvolve mampu meningkatkan solusi terbaik yang ada pada 23 masalah, menyamai solusi terbaik pada 36 masalah, dan gagal pada sisanya. Temuan ini diterbitkan dalam makalah "Mathematical Exploration and Discovery at Scale" pada November 2025. Gómez-Serrano mengungkapkan bahwa dengan AI, mereka dapat menghasilkan hasil yang setara dengan ahli di berbagai bidang hanya dalam waktu satu atau dua hari, padahal biasanya membutuhkan berbulan-bulan.

AI Sebagai Mitra Diskusi yang Kreatif

Sebelumnya, AI dikenal mampu mengangkat kembali bukti lama yang tersembunyi dalam literatur matematika. Namun, pada 2025, peran AI mulai bergeser menjadi mitra diskusi yang membantu mengembangkan ide baru. Johannes Schmitt dari Swiss Federal Institute of Technology Zurich menyebut AI sebagai "partner percakapan" yang meskipun sering membuat kesalahan, tetap memberikan kontribusi ide-ide yang berguna.

Ernest Ryu dari UCLA mulai menggunakan AI untuk menyusun catatan kuliah dan mengidentifikasi kesalahan dalam pembuktian. Pada Oktober 2025, ia menguji AI dalam menyelesaikan masalah terbuka dalam teori optimasi yang telah lama belum terpecahkan: membuktikan konvergensi metode Nesterov, yang diajukan sejak 1983 dan sangat penting dalam pelatihan jaringan saraf.

Meski ChatGPT awalnya memberikan bukti yang salah, Ryu menggunakan pendekatan verifikasi dan iterasi bersama AI untuk akhirnya membuktikan versi sederhana masalah tersebut dalam waktu 12 jam kerja selama tiga hari, dan membuktikan metode Nesterov konvergen beberapa hari kemudian. Temuan ini cukup signifikan untuk dipublikasikan di jurnal optimasi terkemuka.

"Ini contoh konkret bagaimana ChatGPT mempercepat penemuan matematika," kata Ryu. Ia yakin kemampuan AI akan terus meningkat pesat dan menghasilkan penemuan substansial dalam beberapa tahun mendatang.

Analisis Redaksi

Menurut pandangan redaksi, revolusi AI dalam matematika bukan sekadar alat bantu, tetapi akan merombak secara fundamental metode penelitian dan pendidikan matematika. Dengan kemampuan AI menyelesaikan ribuan masalah sekaligus dan menyarankan pendekatan baru, para matematikawan dapat berfokus pada ide-ide kreatif yang lebih kompleks dan strategis.

Namun, perubahan ini juga menuntut adaptasi budaya dan institusional dalam komunitas matematika. Ada risiko hilangnya "pengalaman tangan pertama" dalam memahami konsep matematika jika terlalu bergantung pada AI. Oleh karena itu, keseimbangan antara pemanfaatan AI dan pelestarian budaya matematika tradisional harus dijaga.

Ke depan, yang perlu diwaspadai adalah bagaimana institusi pendidikan dan penelitian matematika mengintegrasikan AI secara etis dan efektif, serta bagaimana regulasi dan standar akademik berkembang untuk memastikan kualitas dan orisinalitas hasil riset yang dihasilkan bersama AI. Laporan Quanta Magazine menyiratkan bahwa kita sedang memasuki era baru yang akan mengubah wajah matematika secara permanen.