AI Menyelesaikan Satu Bab PhD dalam 2 Jam, Medali Fields Mungkin Berakhir pada 2030

Pada 23 Juli, Kongres Matematikawan Internasional ke-30 (ICM) akan dibuka di Philadelphia, dan Hadiah Fields akan diberikan pada upacara pembukaan.

Pada tanggal 18 sebelumnya, karyawan teknis Anthropic, Alek Dimitriev, memposting di X: Penghargaan Fields yang akan diberikan minggu depan akan menjadi penghargaan terakhir yang diterima manusia.

Alek sebelumnya bekerja sebagai Insinyur Pembelajaran Mesin Senior di Google, berkontribusi pada pembangunan sistem fine-tuning dan inferensi Gemini, dan meraih gelar PhD dalam Pembelajaran Mesin dari UT Austin.

Hari berikutnya, Christian Szegedy membagikan tweet Alek.

Szegedy memiliki pengaruh besar di kalangan pembelajaran mendalam, ia adalah penulis utama jaringan Inception (GoogLeNet), co-penulis Batch Normalization, dan orang pertama yang menemukan serta mempelajari secara sistematis adversarial examples.

They are all important foundations of modern deep learning.

Szegedy adalah lulusan doktor matematika dari Universitas Bonn, bergabung dengan tim pendiri xAI pada Maret 2023, dan mendirikan Math Inc pada 2025 dengan fokus pada pengembangan kecerdasan super yang dapat diverifikasi melalui autoformalisasi.

Satu orang sehari-hari berinteraksi dengan model paling mutakhir, sementara yang lain adalah perintis pembelajaran mendalam, kini sedang meneliti cara membuat mesin memverifikasi matematika.

Mereka semua mengatakan bahwa Medali Fields sudah berakhir.

Pada sore hari itu, penerima Fields Medal Timothy Gowers muncul di bawah retweet Szegedy:

Saya juga pernah memiliki pemikiran serupa. Namun, proses ini memiliki keterlambatan, jadi saya kira mereka mungkin bisa bertahan hingga tahun 2030.

Szegedy langsung menyambung:

Ini adalah taruhan berisiko tinggi. Namun, saya percaya bahwa dalam dua tahun ke depan akan terjadi banyak terobosan, dan kontribusi AI akan semakin mendominasi. Ini mungkin membuat hadiah ini sulit lagi diberikan secara adil sesuai semangat awalnya.

Meskipun Gowers tidak secara langsung mengatakan "Medali Fields akan segera berakhir", ia memang pernah memiliki pemikiran serupa dan memberikan perkiraan waktu sekitar: tahun 2030.

Selain itu, ia juga memiliki alasan untuk menduga demikian.

Dua bulan sebelum tweet ini, dia sendiri baru saja melakukan eksperimen.

Pada 8 Mei 2026, Gowers menceritakan pengalamannya baru-baru ini menggunakan ChatGPT 5.5 Pro dalam sebuah artikel blog pribadi.

Dia mengatakan bahwa kita semua harus terus meningkatkan penilaian terhadap kemampuan matematika model besar, dan peningkatan kali ini cukup besar.

Soal yang diberikannya kepada model besar berasal dari sebuah makalah matematikawan Melvyn Nathanson.

Judulnya kira-kira seperti ini.

Pilih k bilangan bulat untuk membentuk himpunan A, jumlahkan setiap dua bilangan secara berpasangan, dan kumpulkan semua hasil berbeda yang diperoleh menjadi himpunan lain yang disebut himpunan jumlah. Nathanson menetapkan secara pasti jumlah bilangan dalam A dan jumlah elemen dalam himpunan jumlah.

Hanya ada satu pertanyaan: Dengan memenuhi syarat, angka terbesar di A bisa ditekan sekecil apa?

Secara sederhana, seberapa rapat k angka ini bisa dirapatkan.

Jawaban yang diberikan oleh Nathanson sendiri adalah pada orde 2 pangkat k. Sebagai contoh dengan 20 angka, angka terbesar harus mencapai sekitar satu juta. Dia meninggalkan pertanyaan dalam makalahnya: Apakah batas ini dapat ditingkatkan?

ChatGPT 5.5 Pro memikirkan selama 17 menit 5 detik, lalu mengembalikan sebuah konstruksi yang ditekan hingga kuadratik. Dengan 20 angka yang sama, angka terbesar hanya beberapa ratus. Dan ini sudah optimal, tidak mungkin ditekan lagi.

Gowers kembali meminta dia menulis argumen tersebut dalam format preprint matematika resmi, dan menyerahkan pada 2 menit 23 detik.

Kemudian ia menambahkan taruhan, dan meminta versi yang lebih sulit: Bisakah kita memperbaiki batas dalam makalah siswa MIT, Isaac Rajagopal?

16 menit 41 detik, model menurunkan batas itu dari "ekspansi eksponensial sesuai indeks k" menjadi "ekspansi eksponensial sesuai akar kuadrat k", dan membutuhkan waktu 47 menit 39 detik untuk ditulis menjadi preprint. Rajagopal sendiri telah melihatnya dan mengatakan tampaknya benar.

Gowers bertanya apakah itu bisa diperdalam lebih jauh, menekan hingga tingkat polinomial, yaitu benar-benar melepaskan diri dari ledakan eksponensial.

13 menit 33 detik, model mengatakan ada kemungkinan, tetapi ada dua pernyataan teknis yang perlu diverifikasi. Dia memintanya untuk memverifikasi. 9 menit 12 detik, verifikasi selesai. Lalu membutuhkan waktu 31 menit 40 detik lagi untuk menghasilkan preprint.

Evaluasi setelah Rajagopal membaca: Hampir pasti benar. Ia juga secara khusus menekankan bahwa bukan hanya kode baris demi baris yang benar, tetapi juga idenya tepat.

Total waktu kurang dari dua jam. Gowers memberikan evaluasi terhadap hasil ini: setara dengan satu bab yang sepenuhnya masuk akal dalam tesis doktoral kombinatorik.

Yang benar-benar menyakitkan adalah kalimat tambahan yang dia sampaikan setelah itu:

Input matematika saya nol, saya bahkan tidak melakukan apa-apa pada prompt.

Gowers dalam blognya mereview, bahwa yang disebut "model besar menyelesaikan masalah tingkat penelitian" di masa awal, bisa diabaikan dengan sekadar tertawa:

Banyak solusi yang disebut sebagai "penemuan baru" sebenarnya adalah model yang menemukan jawaban sudah ada dalam literatur, atau dapat dengan mudah disimpulkan dari hasil yang sudah diketahui.

Perlahan-lahan, tawa-tawa itu semakin berkurang.

Kemudian, ketika menghadapi argumen yang tampak cerdas pada pandangan pertama, sering kali setelah diteliti lebih dalam masih bisa ditemukan contoh sebelumnya. Jadi, masih bisa menghibur diri sendiri: itu hanya menyusun ulang pengetahuan yang sudah ada, bukan ide orisinal sejati.

Kali ini, bahkan kenyamanan semacam itu pun tidak ada lagi.

Isaac Rajagopal, yang artikelnya diubah oleh AI, menulis satu bagian khusus di blog Gowers untuk menjelaskan apa yang sebenarnya dipikirkan oleh model tersebut.

Dia tidak langsung memuji, tetapi memberi skor terpisah untuk dua perbaikan model.

Langkah pertama, menurunkan dari skala eksponensial ke skala akar kuadrat. Penilaiannya adalah, ini adalah perubahan biasa terhadap pekerjaan saya. Dengan mengikuti alur pemikiran dalam makalahnya, hal ini dapat dijabarkan.

Yang benar-benar membuatnya gelisah adalah langkah kedua, melepaskan diri sepenuhnya dari pertumbuhan eksponensial.

Ternyata rangkaian angka itu naik dua kali lipat terus-menerus, 1, 4, 16, 64, naik terlalu cepat.

ChatGPT mengubah pendekatannya: pertama, cari sekelompok angka yang jika dijumlahkan satu sama lain tidak akan bertabrakan; pilih berapa pun angka yang ingin Anda jumlahkan, hasilnya tidak akan pernah sama dengan jumlah dari kelompok lain; kemudian kalikan setiap angka dengan faktor yang sama, dan salin satu set lagi.

Dengan cara ini, hubungan dalam deret ganda di mana "empat kecil sama dengan satu besar" secara tepat direplikasi, dan semua angka dibatasi dalam rentang yang sangat kecil.

Rajagopal mengatakan, ini seperti memasukkan setengah deret geometris ke dalam interval polinomial, yang sangat tidak intuitif. Dan menurutnya, ide ini sepenuhnya orisinal:

Ini adalah jenis ide yang saya pikirkan selama satu atau dua minggu dan akan sangat saya banggakan. Sedangkan ChatGPT hanya membutuhkan kurang dari satu jam untuk menemukannya dan membuktikannya.

Tak lama setelah blog Gowers dipublikasikan, OpenAI mengumumkan hal lain: sebuah model inferensi umum internal yang membantah dugaan jarak satuan bidang yang diajukan oleh Erdős pada tahun 1946.

Noga Alon dari Princeton mengatakan, ini adalah salah satu teka-teki favorit Erdős, dan solusi yang diberikan oleh model internal OpenAI, menurutnya, telah menyelesaikan teka-teki bersejarah ini secara menyeluruh, mengubah konsensus selama puluhan tahun.

Ahli teori bilangan Arul Shankar bahkan secara langsung mengatakan bahwa hal ini membuktikan bahwa model AI saat ini bukan hanya asisten bagi matematikawan manusia, tetapi juga mampu menghasilkan wawasan orisinal dan canggih, serta mengubah wawasan tersebut menjadi hasil nyata.

Mewakili dunia matematika bersama Alon, Shankar, dan Gowers, juga ada Jacob Tsimerman, yang akan naik ke panggung penghargaan Fields pada 23 Juli.

Pada malam 13 Juli, situs web ICM 2026 mengalami insiden. Empat rekaman yang diberi label "HIDDEN Fields Medal Lecture" ditemukan, dan daftar pemenang tahun ini bocor lebih awal:

Yu Deng (Universitas Chicago), John Pardon (Universitas Stony Brook), Jacob Tsimerman (Universitas Toronto), Hong Wang (NYU Courant dan IHES).

Dilaporkan bahwa keempat orang tersebut masing-masing menyelesaikan masalah yang telah menggantung selama 30 hingga 125 tahun.

Sementara itu, Tsimerman mengungkapkan bahwa dirinya pernah secara singkat meneliti soal ini, mencoba membangun contoh penyangkal, tetapi tidak mencapai kemajuan.

Dia akan segera menerima penghargaan matematika tertinggi bagi manusia, tetapi dalam soal Erdős ini, dia baru saja kalah dari AI.

Kembali ke Szegedy.

Dia mengatakan bahwa Hadiah Nobel memberikan penghargaan atas pencapaian yang mendorong suatu disiplin ilmu maju, sedangkan Hadiah Fields memberikan penghargaan kepada para jenius yang relatif muda, dengan tujuan mendorong mereka untuk terus melakukan penelitian matematika.

Jika komponen AI dalam prestasi semacam ini sulit dievaluasi, maka seluruh makna Medali Fields menjadi dipertanyakan.

Di kolom komentar, tentu ada yang tidak setuju. Seseorang menjawab: Ini tidak masuk akal, Medali Fields secara definisi diberikan kepada matematikawan manusia terbaik.

Namun, fokus kontroversi telah bergeser, yaitu standar apa yang harus digunakan di era AI untuk menentukan "ini adalah karya Anda".

Gowers pernah mengajukan sebuah hipotesis di blognya:

Asumsikan seorang matematikus menyelesaikan masalah besar dengan berdialog panjang dengan model besar, di mana ia memberikan panduan yang efektif, tetapi semua pekerjaan teknis dan ide utama berasal dari model besar. Apakah kita akan menganggap ini sebagai pencapaian besar bagi matematikus tersebut?

Jawabannya adalah: tidak.

Dia juga mengatakan bahwa jika tujuanmu melakukan matematika adalah keabadian dalam arti tertentu, yaitu membuat namamu selamanya terkait dengan suatu teorema atau definisi tertentu, maka kamu harus menyadari bahwa hal ini mungkin tidak akan bertahan lama.

Namun, tetap berjuang menghadapi kesulitan tetaplah bernilai.

Gowers mengatakan bahwa nilai terletak pada wawasan yang Anda peroleh tentang proses pemecahan masalah itu sendiri, wawasan yang tidak bisa didapat hanya dengan membaca jawaban orang lain.

Dia memberikan contoh: orang yang ahli dalam menulis kode akan tetap lebih unggul dalam menulis kode menggunakan AI dibandingkan orang dengan kemampuan rata-rata; orang yang memiliki dasar aritmetika kuat juga lebih mudah mendeteksi ketika jawaban yang dihasilkan kalkulator tidak masuk akal.

Masa di mana nama seseorang diabadikan pada suatu teorema mungkin sedang berakhir. Namun, "rasa" yang diperoleh dari menyelesaikan masalah sulit sedang berubah menjadi kemampuan dasar untuk mengendalikan AI.

Dalam Kongres Matematikawan Internasional yang akan datang, penerima Penghargaan Fields lainnya, Terence Tao, akan menyampaikan kuliah umum berjudul "Matematika di Era AI".

Jadwal acara publik ICM yang diumumkan oleh Simons Foundation: Pada malam 24 Juli, Terence Tao menyampaikan kuliah berjudul "Matematika di Era AI". (Sumber gambar: Simons Foundation)

Pada Mei tahun ini, setelah memberikan kuliah tentang "Alur Kerja Matematika Baru" di Stanford, ia mengumumkan di Mathstodon bahwa ia akan mengubah kebiasaan kerjanya: tidak lagi berusaha mengikuti secara real-time semua bukti baru.

Karena kecepatan bukti yang dihasilkan oleh AI telah melebihi kecepatan manusia dalam menyerapnya.

Dia juga pernah mengusulkan: mungkin sebaiknya diberikan tempat publikasi yang berbeda untuk matematika yang dihasilkan AI dan matematika manusia, seperti jalan raya dan trotoar.

Yang sedang didorong menuju tahun 2030, selain panitia penilaian Medali Fields, adalah setiap mahasiswa doktoral yang sedang memilih topik, setiap pembimbing yang sedang membimbing mahasiswa, serta sistem penilaian akademik yang sudah ada.

Gowers pernah menghitung waktu: mahasiswa doktoral yang masuk pada musim gugur tahun ini paling cepat akan lulus pada tahun 2029.

Dugaannya adalah, pada saat itu, apa arti melakukan penelitian matematika mungkin sudah berubah sama sekali.

Referensi:

https://x.com/tensor_rotator/status/2078335791156310369

https://x.com/haider1/status/2078993287634137424

https://x.com/ChrSzegedy/status/2078624857223536824

https://gowers.wordpress.com/2026/05/08/a-recent-experience-with-chatgpt-5-5-pro/

Artikel ini berasal dari akun WeChat "Sinzhiyuan", penulis: ASI Revelation, editor: Yuanyu