Deklarasi Leiden: Matematikawan Dunia Peringatkan Ancaman AI terhadap Integritas Riset Matematika

Dunia matematika internasional menyuarakan alarm. Pada 2 Juni 2026, International Mathematical Union (IMU) — lembaga bergengsi yang menganugerahkan Fields Medal, setara Nobel di bidang matematika — secara resmi mengesahkan Deklarasi Leiden tentang Kecerdasan Buatan dan Matematika. Deklarasi yang telah mengumpulkan ratusan penandatangan ini merupakan peringatan paling terorganisir dari komunitas matematika global tentang ancaman AI terhadap fondasi riset ilmiah.

Deklarasi yang disusun oleh 16 peneliti dari 15 universitas selama delapan bulan — bermula dari konferensi di Lorentz Center, Universitas Leiden, Belanda, pada September 2025 — mengidentifikasi lima ancaman utama yang ditimbulkan oleh adopsi AI yang tidak terkendali dalam riset matematika. Dokumen ini menjadi respons terhadap gelombang klaim terobosan AI di bidang matematika yang meningkat tajam dalam dua tahun terakhir.

Lima Ancaman AI terhadap Matematika

Ancaman pertama dan paling mendesak adalah produksi bukti matematika yang tampak meyakinkan namun keliru. Model AI, menurut deklarasi, mampu menghasilkan "argumen yang masuk akal tetapi tidak dapat diandalkan (atau bahkan salah) yang sulit dibedakan dari bukti matematika yang benar." Leslie Ann Goldberg, Kepala Ilmu Komputer Universitas Oxford, memperingatkan bahwa "draf yang dihasilkan AI murah untuk diproduksi, dan ada risiko mengotori literatur dengan klaim hasil yang salah. Begitu itu terjadi, kesalahan cenderung menyebar ketika riset baru dibangun di atas fondasi yang cacat."

Kedua, model AI sering gagal mengutip karya manusia yang menjadi dasar sintesis mereka. Banyak model dilatih dengan data yang diperoleh melalui "eksploitasi lisensi dan pengaturan akses" atau "sekadar melanggar perlindungan hak cipta." Ini menciptakan krisis atribusi yang mengancam sistem kredit akademik yang menjadi fondasi karier dan pendanaan riset.

Ketiga, insentif dalam perekrutan, pendanaan, dan pengakuan akademik mulai terdistorsi. Penggunaan AI "mungkin menjadi diinsentifkan demi kepentingannya sendiri," mengganggu mekanisme tradisional dan meninggalkan peneliti yang tidak memiliki akses atau menolak menggunakan teknologi dari organisasi yang nilai-nilainya tidak mereka setujui.

Keempat, hasil riset semakin sering dikomunikasikan "melalui saluran informal seperti siaran pers atau posting blog, seringkali tanpa makalah riset atau pengungkapan lain yang diperlukan untuk evaluasi ilmiah." Ini mengarah pada penyederhanaan berlebihan, melebih-lebihkan peran AI sambil meremehkan kontribusi manusia sebelumnya.

Kelima, keterlibatan perusahaan teknologi dalam riset matematika mengancam "otonomi matematika," terutama ketika anggaran universitas menyusut dan peneliti merasa insentif profesional lebih besar untuk berkolaborasi dengan perusahaan teknologi dalam "ketentuan asimetris." Michael Harris, matematikawan Columbia University dan penulis deklarasi, menyatakan dengan tajam: "Industri teknologi beroperasi sesuai dengan logika komersial, yang antitetis terhadap nilai-nilai matematika."

Kasus OpenAI: Ilustrasi Tepat Waktu

Ironisnya, ilustrasi paling tepat tentang kekhawatiran deklarasi muncul hanya dua minggu sebelum publikasinya. Pada 20 Mei 2026, OpenAI mengumumkan bahwa model penalaran tujuan umum mereka berhasil memecahkan dugaan unit distance Erdős — masalah terbuka dalam geometri diskrit yang telah membingungkan matematikawan selama 80 tahun.

Pengumuman itu dibuat tanpa mengungkapkan prompt, data pelatihan, atau sumber daya komputasi yang digunakan. Model AI yang digunakan bersifat proprietary dan tidak tersedia di luar perusahaan. "Kami mendapatkan video promosi mencolok, sementara informasi dasar yang diperlukan untuk menilai makna ilmiah dari hasil tersebut dirahasiakan," kritik Rodrigo Ochigame, sejarawan dan antropolog komputasi dari Universitas Leiden yang juga penulis deklarasi.

Ursula Martin, matematikawan Oxford dan penulis deklarasi, mengakui pencapaian itu "luar biasa" namun mencatat bahwa upaya setara manusia "mungkin akan memecahkan masalah dengan cara yang sama." Ia menekankan bahwa matematika melibatkan "pengembangan ide, pemahaman, penilaian, dan wawasan manusia," bukan sekadar pemecahan masalah.

Peter Scholze, peraih Fields Medal 2018 dan direktur Max Planck Institute for Mathematics, menyuarakan sentimen personal yang menggema di komunitas: "Dalam pengalaman saya, ide matematika, seperti anak-anak, harus dipelihara dan tumbuh selama bertahun-tahun. Sama seperti saya tidak ingin anak-anak saya dididik oleh AI, saya merenungkan ide-ide matematika saya tanpa penggunaan AI, dan umumnya menghindari membaca teks yang dihasilkan AI sebaik mungkin."

Rekomendasi dan Jalan ke Depan

Deklarasi Leiden tidak menyerukan pelarangan AI dalam matematika, melainkan transparansi dan akuntabilitas. Bagi matematikawan individu, deklarasi merekomendasikan pengungkapan transparan tentang penggunaan AI dalam setiap publikasi. Bagi institusi, deklarasi mendorong penetapan standar etika dan integritas yang jelas, serta memastikan bahwa kolaborasi dengan industri tidak mengorbankan otonomi akademik.

Waktu deklarasi ini strategis: International Congress of Mathematicians akan bertemu di Philadelphia pada Juni 2026, memberikan komunitas jendela sempit untuk menetapkan norma mengikat sebelum alat AI matematika semakin tertanam dalam pipeline publikasi. Dengan IMU sebagai pengesah, deklarasi ini membawa bobot institusional yang signifikan — sinyal bahwa komunitas matematika global tidak akan tinggal diam menghadapi disrupsi AI.

Sumber Referensi:

• Ars Technica — Mathematicians Warn of AI Threats to Profession as Industry Encroaches
• Leiden Declaration on Artificial Intelligence and Mathematics — Dokumen Resmi
• TechCrunch — OpenAI Claims It Solved an 80-Year-Old Math Problem — For Real This Time
• AI Weekly — Leiden Declaration Warns AI Corrupts Math Proof Standards