Sekelompok 25 Peraih Medali Bidang – setiap penandatangan awal adalah pemenang penghargaan tertinggi matematika – telah menerbitkan deklarasi resmi yang memperingatkan bahwa perlombaan untuk menampilkan kecerdasan buatan pada tolok ukur matematika merusak ilmu matematika dan komunitas yang mendukungnya. Pernyataan tersebut, yang diberi judul "Ketidaksejajaran AI yang Parah dalam Matematika", mulai berlaku pada hari Jumat, dan di antara para penandatangan awalnya adalah Terence Tao, salah satu matematikawan paling berpengaruh di generasinya.
Deklarasi tersebut dipublikasikan di mathandai.org, dan dalam sehari deklarasi tersebut telah mengumpulkan lebih dari 1.300 pendukung tambahan dari universitas dan lembaga penelitian di seluruh dunia, menurut daftar publik yang menandatangani situs tersebut. Tao mengkonfirmasi partisipasinya dalam sebuah postingan di blog pribadinya, menulis bahwa dia "bangga menjadi salah satu dari daftar 25 penandatangan awal — semuanya Peraih Medali Fields." Bagi siapa pun yang memantau perkembangan AI terkini, intervensi ini menandai salah satu kritik paling tajam dari para ahli matematika elit tentang bagaimana laboratorium AI mengukur — dan mempublikasikan — kemampuan model mereka. Ini mendominasi diskusi di Hacker News pada hari Jumat, menarik ratusan komentar.
Apa Kata Deklarasi
Para penandatangan tidak membantah bahwa sistem AI telah menjadi sangat mampu. “Selama beberapa bulan terakhir, kemampuan matematika LLM telah meningkat secara dramatis, sampai pada titik bahwa mereka dapat memecahkan masalah-masalah besar yang belum terselesaikan di banyak bidang matematika,” deklarasi tersebut menyatakan. Keberatannya adalah terhadap apa yang terjadi selanjutnya: perusahaan-perusahaan AI yang menggunakan solusi-solusi tersebut sebagai tolok ukur kompetitif, yang menurut penulisnya adalah "merugikan ilmu matematika, dan komunitas matematika."
Klaim intinya sangat jelas: "Tujuan perusahaan AI dan tujuan komunitas matematika sangat tidak selaras."
Deklarasi ini berargumentasi bahwa pemecahan masalah-masalah terkenal secara tradisional berfungsi sebagai tanda adanya wawasan baru – awal dari proses perbincangan komunal yang panjang, diskusi, penyederhanaan, dan akhirnya penulisan buku teks – dan bukan sebuah tujuan akhir. “Memecahkan masalah hanyalah alat dan proksi untuk mencapai tujuan utama pemahaman dan wawasan konseptual,” tulis para penulis. “Melupakan hal ini dalam dunia AI dapat membuat alat ini bertentangan dengan tujuan utama.”
Kalimat yang paling banyak dikutip menggambarkan kekhawatiran: "produksi massal pernyataan 'benar/salah' yang semakin cepat dapat menghancurkan lahan subur alih-alih menghidupkan ide-ide baru."
Atribusi, Plagiarisme, dan Pengumuman Terburu-buru
Para penandatangan juga menyampaikan keluhan praktis. “Seringkali solusi-solusi ini diumumkan secara terburu-buru, sehingga tidak ada waktu untuk menulis artikel yang tepat, mengisolasi metode-metode dan ide-ide baru, dan mengutip karya-karya lain yang relevan sebelumnya,” bunyi deklarasi tersebut. "Seperti dalam semua profesi kreatif, hal ini menimbulkan pertanyaan serius tentang atribusi dan plagiarisme."
Para penulis memperingatkan dampak tingkat kedua: tanpa "kemauan para ahli matematika yang harus menjaga perkembangan dan integrasi mereka ke dalam kanon matematika", ide-ide yang dihasilkan oleh AI tidak akan pernah berkembang sepenuhnya, dan "rantai transmisi manusia yang penting di antara para ahli matematika akan hilang."
Pertunjukan Urgensi yang Tidak Biasa
Prosesnya sendiri tidak biasa. Tao mengakui di blognya bahwa pernyataan tersebut muncul dari diskusi di antara para penandatangan “selama seminggu terakhir,” dan meminta maaf karena tidak menjalankan proses konsultatif. “Kami memutuskan bahwa situasi ini begitu mendesak sehingga kami perlu mengeluarkan pernyataan secepatnya,” tulisnya.
Deklarasi ini mengikuti model deklarasi Leiden sebelumnya, dan penyelenggara secara eksplisit meminta tanda tangan lebih lanjut. Tao juga mengarahkan pembaca pada liputan terbaru dari pernyataan The Economist. 25 penandatangan awal semuanya adalah Peraih Medali Fields, sebuah sinyal yang disengaja - para peneliti matematika paling berprestasi berbicara dengan satu suara. Daftar dukungan yang lebih luas sudah mencakup ahli matematika dari MIT, ETH Zurich, Max Planck Institute, Northwestern, NYU, dan lusinan institusi lainnya.
Peringatan Melampaui Matematika
Meskipun pernyataan ini berakar pada matematika, penulis membingkainya sebagai templat untuk masalah yang lebih luas. “Kita menyaksikan ancaman umum terhadap karya intelektual, dengan ketidakselarasan antara hasil penggunaan AI dan tujuan awalnya,” bunyi deklarasi tersebut.
Argumen ini akan bergema jauh melampaui departemen matematika. Di banyak profesi, penulis mencatat, pelatihan bertahun-tahun secara tradisional tidak hanya berfungsi untuk menghasilkan jawaban akhir tetapi juga untuk mengembangkan pemahaman dan kemampuan merumuskan pertanyaan baru. Ketika sistem AI mampu memberikan hasil pekerjaan tersebut secara langsung, “tujuan-tujuan ini tidak lagi selaras.” Deklarasi tersebut menggambarkan permasalahan yang dihadapi para ahli matematika sebagai "serupa dengan permasalahan yang dihadapi oleh profesi ilmiah dan kreatif lainnya, dan menunjukkan permasalahan yang mungkin dihadapi seluruh umat manusia."
Bukan Penolakan AI
Perlu dicatat bahwa pernyataan tersebut bukanlah seruan untuk menghentikan pengembangan AI. “AI menawarkan potensi untuk meningkatkan dan mempercepat studi dan pemahaman matematika yang sesungguhnya,” tulis para penulis, sambil mengakui bahwa “matematika sebagai sebuah profesi perlu beradaptasi.”
Intervensi ini terjadi pada saat yang tepat. Klaim bahwa sistem AI telah memecahkan atau membuat kemajuan besar dalam masalah terbuka yang terkenal telah berulang kali menjadi berita utama, dan awal tahun ini perselisihan terpisah mengenai klaim OpenAI terkait masalah Navier–Stokes menunjukkan betapa kontroversialnya pengumuman tersebut. Deklarasi Fields Medallists sebenarnya merupakan respons paling senior dari komunitas matematika terhadap dinamika tersebut: sebuah permintaan agar laboratorium AI berhenti memperlakukan masalah terbuka yang sudah berusia berabad-abad sebagai entri papan peringkat.
Apakah perusahaan-perusahaan AI akan memberikan respons – dengan berkonsultasi dengan ahli matematika sebelum pengumuman, menghargai pekerjaan sebelumnya, atau memikirkan kembali tolok ukur – masih harus dilihat. Yang sudah jelas adalah bahwa orang-orang yang paling mengetahui permasalahan ini tidak lagi hanya melihat dari pinggir lapangan.
