Penerima Penghargaan Fields Memperingatkan: AI Bisa Membunuh Matematika
Setelah penghargaan Fields tahun ini diberikan, Jacob Tsimerman, salah satu penerima, mengejutkan dunia dengan mengumumkan bergabung ke OpenAI untuk beralih ke penelitian keamanan AI. Alasannya: dalam 2 tahun, AI akan melampaui manusia di semua bidang pembuktian matematika. Di ICM 2026, peraih Fields Medal Terence Tao juga menyuarakan kekhawatiran tentang masa depan matematika di era AI.
Fellow peraih Fields Medal Timothy Gowers memperingatkan ancaman yang lebih halus: AI tidak akan "membunuh" matematika dengan mengambil alih pekerjaan manusia, tetapi dengan menghasilkan ledakan bukti dan teorema hingga tingkat yang tak terkelola. Dalam eksperimen pemikirannya, jika semua ahli matematika hilang tetapi literatur tetap ada, rekonstruksi akan memakan waktu puluhan tahun. Dengan AI yang mampu menjelaskan segalanya, motivasi manusia untuk mempelajari matematika secara mendalam mungkin hilang, menyebabkan kepunahan keahlian manusia meski pengetahuan tetap ada — sebuah "kuburan pemikiran" di mana tidak ada yang membaca lagi.
Gowers sendiri mengubah pandangannya setelah menyaksikan kemampuan ChatGPT 5.5 Pro. Dengan sedikit petunjuk, AI menyelesaikan masalah teori bilangan tingkat doktoral dan memberikan kemajuan signifikan. Ia juga terkejut ketika AI menghasilkan contoh penyangkal untuk masalah "jarak satuan". Dalam praktiknya, AI membantunya memformalkan makalahnya hanya dalam satu setengah minggu dengan sedikit intervensi.
Tanggapan komunitas matematika kuat. Deklarasi Leiden, yang didukung oleh IMU dan ditandatangani oleh lebih dari 3.100 matematikawan termasuk Tao, menekankan bahwa matematika harus tetap menjadi usaha manusia. Namun, Gowers memilih untuk tidak menandatanganinya, memfokuskan pada tantangan eksistensial yang lebih besar.
Komentator seperti Peter Woit membandingkannya dengan catur: setelah mesin unggul, manusia tetap bermain. Namun, AI untuk matematika mungkin menjadi alat universal yang mengubah sifat penemuan dan penghargaan. Gowers menggambarkan perasaan tidak enak ketika AI dua kali memecahkan masalah yang ia sukai — seperti "keset yang disedot dari bawah kaki". Pertanyaan besarnya tetap: di era di mana mesin menemukan kebenaran, apa peran dan tempat pikiran manusia?
marsbit5j yang lalu
