Tahun ini, setelah Penghargaan Fields dianugerahkan, terjadi sebuah peristiwa yang mengejutkan.
Profesor Jacob Tsimerman dari Universitas Toronto, yang memenangkan penghargaan bersama Wang Hong dan Deng Yu, tiba-tiba mengumumkan bergabung dengan OpenAI, beralih profesi untuk meneliti keamanan AI.
Alasannya:
Dalam 2 tahun, AI akan sepenuhnya melampaui manusia di semua bidang pembuktian matematika.
Keesokan harinya, di lokasi ICM 2026 Philadelphia, penerima Penghargaan Fields Terence Tao juga dengan cemas mengatakan kalimat berikut:
Saya percaya kita sedang memasuki periode yang bergolak — periode di mana nilai-nilai dan dasar-dasar praktik matematika menghadapi krisis.
Lebih kebetulan lagi, penerima Penghargaan Fields lainnya, Timothy Gowers, juga memberikan penilaian serupa.
LLM akan segera melampaui manusia dalam semua aspek penyelesaian masalah matematika, bahkan mungkin termasuk mengajukan pertanyaan, membangun teori, merumuskan definisi, dan sebagainya.
Dia memperingatkan: Cara AI membunuh matematika mungkin lebih elegan dan lebih kejam dari yang kita bayangkan.
AI Tidak Akan Membuat Matematika Mati Kelaparan, Tapi 'Membunuh' Matematikawan dengan Kelimpahan
Bukan hanya dia yang merasa takut akan kekuatan AI ini.
2 Juni 2026, Leiden Declaration (Deklarasi Leiden) resmi dirilis.
Hingga hari ini, jumlah penandatangannya telah mencapai 3164 orang.
Deklarasi ini mendapat dukungan resmi dari International Mathematical Union (IMU). Wakil Ketua Ulrike Tillmann secara pribadi menyatakan: Matematika adalah dan akan selalu menjadi usaha manusia yang mendalam.
Di daftar penandatangan, setiap orang adalah tokoh besar.
Terence Tao mengatakan ini adalah kristalisasi diskusi komunitas selama berbulan-bulan, dan dia mendukung sepenuh hati setiap rekomendasinya.
Peter Scholze dengan sedih menyatakan: Sama seperti dia tidak ingin AI mendidik anaknya sendiri, dia tidak menggunakan AI saat memikirkan masalah matematika, dan sebisa mungkin tidak membaca teks yang dihasilkan AI.
Kevin Buzzard, Jeremy Avigad, Steven Strogatz, semuanya adalah tokoh top.
Tapi Timothy Gowers tidak menandatangani, karena pandangannya telah melampaui 'AI menggantikan matematikawan'. Dia memilih untuk menghadapi pertanyaan akhir yang lebih dingin, besar, dan tak terhindarkan ini:
Saat pembuktian AI tidak hanya sepenuhnya benar, tetapi juga tumbuh secara eksponensial tanpa lelah, akankah matematika berubah menjadi 'kuburan' yang tidak dikunjungi siapa pun?
Yang dia khawatirkan bukanlah AI terlalu kuat dalam memecahkan soal, merebut pekerjaan matematikawan. Justru sebaliknya: Matematika tidak akan mati karena stagnasi, tapi karena kelebihan.
Mengapa bisa begitu?
Gowers melakukan sebuah eksperimen pikiran.
Bayangkan: Seandainya AI tidak pernah muncul, tiba-tiba sebuah pandemi meletus, dan karena alasan tertentu, ia hanya merenggut nyawa semua matematikawan, sementara orang lain tidak terluka sama sekali.
Semua literatur matematika masih tersimpan dengan baik di sana, tapi tidak ada lagi yang tahu cara menafsirkannya.
Penilaian Gowers adalah: Membangun kembali tradisi matematika di atas reruntuhan seperti itu, mungkin akan memakan waktu puluhan tahun.
Perhatikan, dalam bencana ini tidak ada yang dihancurkan, informasi yang hilang adalah 0.
Tapi, matematika jauh lebih dari sekadar literatur yang tercetak di atas kertas, ia hidup di dalam otak matematikawan di seluruh dunia — di sanalah tersimpan sistem pengetahuan yang besar dan intuisi profesional yang mendalam.
Gowers menyebutnya 'keajaiban kecerdasan manusia'. Jika literatur adalah file terkompresi, maka otak para matematikawan ini adalah kunci dekripsinya.
Sekarang, bayangkan versi yang sedikit berbeda.
Kali ini, AI ada. Dan AI selalu siap sedia, dapat menjelaskan masalah matematika apa pun dengan tingkat detail yang kita inginkan. Ini akan merampas sebagian besar kesenangan dari disiplin ilmu matematika ini.
Dan karena kehadiran AI, orang tidak lagi memiliki motivasi untuk menghabiskan waktu bertahun-tahun, berlatih keras untuk mencapai tingkat matematikawan peneliti biasa seperti sekarang.
Sepuluh atau dua puluh tahun ke depan, kita mungkin akan sampai pada titik ini: Literatur matematika berkembang pesat dalam suatu bentuk yang belum pernah terjadi sebelumnya, namun di sisi lain, para ahli manusia diam-diam menghilang secara kolektif. Tidak ada lagi sekelompok orang yang dapat berbagi pemahaman tentang bidang-bidang tertentu.
Pada saat itu, hampir semua matematika mungkin akan berubah menjadi 'kuburan pemikiran' bagi seluruh umat manusia: Mereka terbaring di dalam makalah yang ditulis puluhan tahun lalu, namun tidak ada lagi yang membacanya.
Menurut Gowers, ini adalah kemungkinan yang harus kita lawan sekuat tenaga.
Meskipun kedua versi berakhir dengan 'kematian matematika', dalam versi pertama matematika mati karena kekurangan, sedangkan dalam versi kedua matematika mati karena kelebihan.
Satu mati kelaparan, satu mati kekenyangan.
Seperti danau, yang bisa lenyap karena kekeringan, juga bisa 'mati' karena eutrofikasi.
Eutrofikasi (Inggris: Eutrophication), juga disebut penyuburan berlebih, adalah fenomena di perairan seperti danau, sungai, waduk, di mana nutrisi nitrogen-fosfor membanjiri masuk, alga berkembang biak secara eksplosif, permukaan air menjadi hijau terang, biomassa sangat tinggi; kemudian oksigen di bawah air habis terkonsumsi, ikan mati mengambang, dan seluruh danau berubah menjadi air mati.
ChatGPT 5.5 Pro Membantah Penerima Penghargaan Fields
Pemikiran Timothy Gowers tentang AI dan matematika bukanlah impuls sesaat.
2022, dia mendapat dana, memulai sebuah proyek pembuktian teorema otomatis.
Saat itu dia secara jelas berada di pihak GOFAI (AI tradisional): Memahami secara mendalam bagaimana manusia menemukan bukti, lalu membuat komputer menirunya.
Dia menulis dokumen 54 halaman, menjelaskan secara detail tujuan dan metode proyek tersebut.
Saat itu dia berpikir, manusia pandai menyederhanakan hal yang rumit, mencari bukti yang terstruktur, sedangkan pembelajaran mesin masih memiliki keterbatasan dalam pemahaman dan transfer yang sebenarnya.
Tujuannya adalah menghasilkan 'bukti yang termotivasi', yaitu bukti yang prosesnya transparan, dapat dijelaskan, bahkan dapat digunakan untuk pengajaran sarjana.
Bahkan hingga 2025, dia masih mengkritik secara terbuka cara pelatihan LLM yang ada:
Model kebanyakan hanya melihat bukti akhir yang ditulis, tetapi tidak melihat proses berpikir manusia yang sebenarnya.
Dia mengusulkan mendirikan basis data 'bukti termotivasi', agar AI mempelajari jalur penalaran yang sebenarnya.
Kemudian, tahun 2026 tiba.
Suatu hari di bulan Mei, AI benar-benar membalikkan pemahamannya.
Dia hampir tidak memberikan petunjuk matematis substansial apa pun, hanya melemparkan sebuah masalah teori bilangan kepada ChatGPT 5.5 Pro.
AI berpikir selama sekitar satu jam, lalu menghasilkan sebuah karya penelitian tingkat doktoral yang jelas: Ia mendorong batas yang semula linear atau eksponensial, langsung menjadi kuadratik bahkan polinomial!
Setelah mencoba sendiri ChatGPT 5.5 Pro, sikap Gowers berubah total.
Dia tidak lagi hanya membahas 'bagaimana membuat AI lebih mirip manusia', tetapi mulai mengakui: LLM sudah dapat menangani masalah tingkat doktoral.
Kemudian, ketika dia mengetahui ChatGPT memecahkan 'masalah jarak satuan' (unit distance problem), dia langsung tidak bisa tidur semalaman.
Keesokan harinya, setelah mengetahui bahwa ChatGPT hanya memberikan contoh penyangkal, bukan bukti batas atas yang lengkap, barulah dia sedikit lega.
Meskipun begitu, dia berpikir, ini sudah menjadi pencapaian penting AI di bidang matematika.
Tidak diragukan lagi, memecahkan masalah jarak satuan memiliki makna penting dalam bidang AI for Math: Jika makalah ini ditulis oleh manusia, dan diserahkan ke Annals of Mathematics, dan saya diminta untuk mengevaluasi dengan cepat, saya tidak akan ragu untuk merekomendasikan penerimaan.
Bukti yang dihasilkan AI sebelumnya tidak ada yang mencapai level seperti ini.
Dia seperti Lee Sedol yang menghadapi AlphaGo, merasa pasrah dan sedih: Seorang matematikawan yang seumur hidup menekankan 'pemahaman', akhirnya dipaksa oleh kemampuan praktis mesin untuk mendefinisikan ulang 'apa itu penelitian'.
24 Juli, dia malah memberikan makalahnya sendiri kepada AI untuk dilakukan formalisasi otomatis, setara dengan meminta AI menerjemahkan bukti menjadi kode yang dapat diverifikasi mesin.
Prosesnya satu setengah minggu, dia sendiri hanya menghabiskan satu atau dua jam memberikan petunjuk, lalu pekerjaan selesai.
Akhirnya, dia harus mengakui: 'Tingkat teknologi saat ini, akan lebih tertinggal daripada masa depan mana pun.'
Elegi untuk Matematika
Titik waktu ketika artikel Gowers ini diterbitkan, sangat halus.
Pada hari yang sama, Peter Woit dari Universitas Columbia memposting sebuah blog berjudul 'Requiem untuk Sebuah Bidang Ilmu?'.
Komentar Woit sangat menusuk: Dulu Anda bersaing dengan matematikawan lain, dunia akademis memiliki norma yang kuat untuk mengaitkan ide kepada orang yang pertama kali memikirkannya, namun agen AI sama sekali tidak tertarik dengan 'permainan pengakuan nama' ini.
Ini tidak sepenuhnya seperti catur: Setelah program catur melampaui manusia, kompetisi antar manusia bertahan hidup. Yang sedang kita tuju, lebih mirip program tertentu yang digunakan semua orang.
Kebanyakan bintang tidak pernah dinamai menurut nama astronom, tetapi itu tidak mengurangi keindahan langit malam. Jika teorema tidak lagi menjadi milik matematikawan, itu hanyalah kebenaran kembali ke wujud aslinya di alam semesta.
Gowers sendiri juga telah membayar harganya.
Dia mengatakan dirinya sudah dua kali menyaksikan GPT-5.6 Pro memecahkan masalah yang sangat dia sukai dan telah dia pikirkan dengan serius, dalam sekali jalan. Kedua kali ini, adalah atas persetujuannya, rekan kerja yang lebih muda menggunakan model AI.
Rasanya sangat aneh, dan tidak terlalu menyenangkan — seperti karpet tiba-tiba disambar dari bawah kaki.
Saat mesin bertanggung jawab atas penemuan ilmiah, manusia bertanggung jawab atas apa? Di era kebenaran yang mengembang tak terbatas, bagaimana hati dan pikiran manusia harus menempatkan diri?
Jawabannya terbang di angin.
Referensi:
https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/
https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf
https://www.math.columbia.edu/~woit/wordpress/?p=15787
https://x.com/AlexKontorovich/status/2080806132298211647?s=20
Artikel ini berasal dari akun WeChat publik "新智元", penulis: ASI启示录
