Matematikawan bertanya: AI membawa zaman keemasan atau zaman kegelapan bagi matematika

Francesco Maggi, lewat tulisan tamu di blog Terence Tao, berpendapat bahwa dampak AI pada matematika belum ditentukan. Arahnya bergantung pada bagaimana institusi memilih membangun dan memakai alat ini sekarang. Dia menganggap LLM sebagai terobosan nyata, terutama untuk menghasilkan proof, sembari menegaskan bahwa matematika adalah artefak budaya manusia yang justru butuh lebih banyak matematikawan, bukan lebih sedikit.

Kekhawatiran paling tajamnya adalah jurang pemahaman. Sebuah proof terverifikasi Lean bisa mencapai ratusan ribu baris, dan terjemahan ke bahasa alaminya sering berantakan dan tidak setia, sehingga suatu hasil bisa benar secara formal tapi tetap tidak terbaca. Dari situ muncul yang dia sebut kegelapan sebenarnya: pengetahuan menjadi asing bagi pemahaman manusia. Dalam zaman kegelapan, output tetap naik dalam jangka pendek, tapi aktivitas manusia yang mandiri melemah dan pengetahuan menumpuk di tangan segelintir orang yang makin tidak bisa mengikutinya. Zaman keemasan adalah kebalikannya, saat alat ini memberdayakan generasi baru, memperluas pengetahuan yang benar-benar bisa dipahami orang, dan menjaga sains tetap terbuka dan kolaboratif. Dia memperkirakan kenyataan akan menjadi campuran keduanya.

Maggi mengangkat taruhan lain yang akan dikenali para peneliti. Soal kepengarangan, peer review, dan sitasi masih belum jelas untuk karya berbantuan AI, dan sebagian peneliti mungkin menahan ide agar tidak terserap ke dalam sistem berpemilik. Keunggulan compute perusahaan frontier atas universitas bisa memusatkan pengaruh ilmiah bahkan tanpa niat buruk. Usulannya konkret: akses yang lebih luas bagi peneliti ke alat frontier, standar keterbukaan dan reproduktibilitas untuk hasil berbantuan AI, serta infrastruktur LLM yang dikelola publik.

Kenapa ini penting

Kalau Anda meneliti dengan alat ini, risikonya praktis dan personal: apakah hasil Anda tetap terbaca oleh manusia lain, siapa yang mendapat kredit, dan apakah akses menumpuk di segelintir lab. Tulisan ini terbaca seperti daftar singkat standar yang layak diperjuangkan sebelum kebiasaan telanjur mengeras.