Semua orang mengira AI seharusnya lebih dulu membantu matematikawan membuktikan teorema, tapi Tao malah menyuruhnya memindahkan halaman web usang yang sudah 30 tahun. Dalam satu hari, 560 makalah penelitian dipindahkan, bahkan AI menemukan dua bug dalam kode lawas yang ditulisnya sendiri lebih dari dua puluh tahun lalu yang tidak pernah dia ketahui.
Situsnya dibangun tahun 1997, mengubah satu kata pun harus buka terminal dan ketik HTML manual, dipelihara hampir tiga puluh tahun.
Baru-baru ini, Tao menyerahkan halaman pribadinya pada sebuah agen cerdas AI.
Hanya dalam satu hari, 560 makalah dan preprint, 374 catatan perjalanan, 68 kursus, 19 buku, 29 aplikasi matematika kecil, semuanya dipindahkan secara massal dari struktur lama yang hampir 30 tahun, dan kini menetap di GitHub Pages.
Yang lebih menarik dari pemindahan adalah temuan di tengah jalan.
AI menemukan sekumpulan informasi yang saling bertentangan, entri usang, dan tautan mati dalam situs lawas hampir 30 tahun itu. Kesalahan-kesalahan ini adalah yang dia tinggalkan sendiri sedikit demi sedikit selama tiga puluh tahun.
Ia juga sambil memindahkan kumpulan aplikasi kecil lawas yang ditulis dalam Java 1.0 ke JavaScript, dan dalam kode yang ditulis Tao sendiri lebih dari dua puluh tahun lalu, menemukan dua bug yang tidak pernah dia ketahui.
Kali ini, AI tidak pergi membuktikan teorema, yang dilakukannya untuk matematikawan adalah "pekerjaan rumah digital" yang paling tidak ingin mereka sentuh.
Struktur Lama Hampir 30 Tahun, Dia Bertahan Sampai 2026
Halaman utama Tao dibangun tahun 1997, saat itu dia masih asisten profesor Hedrick di UCLA, halamannya penuh tautan luar yang disusun manual, dari grup berita sci.math hingga novel serial The Wheel of Time yang dia sukai.
Web 1.0 standar. Satu halaman satu topik, layar penuh tautan teks, semuanya dirawat manual.
21 Mei 1997, Tao masih asisten profesor, dengan halaman utama barunya.
Hampir tiga puluh tahun, struktur ini tidak pernah berubah.
Tao terus menambahkan hal-hal: halaman detail lebih dari tiga ratus makalah, catatan mengajar, jadwal perjalanan, CV, koreksi buku. Caranya selalu mengubah halaman per halaman, selesai diunggah manual, dulu di akun Unix mengetik dengan vi.
Satu-satunya komprominya ke abad ke-21 adalah beralih ke editor web modern untuk menghasilkan HTML, konsekuensinya kodenya jauh lebih gemuk daripada versi buatan tangannya dulu.
Konten tumbuh linear, biaya perawatan malah eksponensial. Di tengah jalan, dia pernah memindahkan halaman buku, saran karier ke blog, sedikit meredakan, tetap canggung.
Saat konten semakin menumpuk, biaya untuk mengubahnya semakin tinggi, mencapai titik kritis tertentu, Anda mulai membiarkan kesalahan-kesalahan itu tetap ada di sana.
Applet Java itu mati lebih parah. Browser meninggalkan Java 1.0, dia sendiri tidak punya tenaga memindahkan dua puluh lebih program ke bahasa baru, halaman itu tetap tergantung, bergantung selama sepuluh tahun.
YAML adalah Sumber Kebenaran, Halaman Web Hanya "Cetakan"
Tao mengatakan, dia baru-baru ini menyadari: dengan adanya agen cerdas AI, memigrasi sistem lawas hampir 30 tahun ini seharusnya menjadi pekerjaan rutin.
Kemudian, dia mencoba. Prosesnya "cukup mulus", katanya.
Kuncinya, dia tidak menyuruh AI menulis ulang sekumpulan HTML, melainkan membangun ulang alur data.
Repositori baru ini bernama tao-web, logikanya mirip percetakan.
Naskah asli adalah YAML di direktori data, delapan jenis konten masing-masing satu folder; skema mengatur format, menentukan seperti apa seharusnya setiap bidang.
Dua skrip Python, satu memeriksa satu mencetak. Jika pemeriksaan gagal, kode tidak bisa di-push. Halaman web yang dicetak dimasukkan ke direktori site, tidak masuk repositori versi.
Terakhir push satu kali cabang main, GitHub Actions otomatis periksa, cetak, dan terbitkan.
Repositori tao-web. README menyatakan: YAML adalah satu-satunya sumber kebenaran, halaman web dihasilkan. (Sumber: GitHub teorth/tao-web)
Satu kalimat di README repositori menjadi penopang seluruh struktur: YAML adalah satu-satunya sumber kebenaran, halaman web dihasilkan.
Diikuti aturan operasi: ubah data, jangan pernah ubah HTML yang dihasilkan di direktori site.
Dalam sistem lama, setiap halaman adalah fakta independen. Informasi yang sama tersebar di lima halaman, satu terlewat, mereka mulai "bertengkar".
Dalam sistem baru, fakta hanya ada dalam satu salinan. Halaman web turun tingkat menjadi lapisan tampilan, seperti kertas yang bisa dicetak ulang kapan saja.
Basis pengetahuan seseorang, begitu berubah dari sekumpulan dokumen menjadi sebuah basis data.
AI Menemukan Dua Bug dalam Kode Lamanya
Setelah memindahkan data, Tao melakukan eksperimen kedua.
Sejak 1999, untuk membuat visualisasi mata kuliah analisis kompleks dan aljabar linier, dia menulis sekumpulan applet kecil dengan Java 1.0. Saat itu responsnya bagus.
Kemudian, browser tidak lagi mendukung versi Java itu, kumpulan ini pun menjadi usang.
Sekarang, dia menyuruh agen cerdas memindahkannya ke JavaScript, 20-an applet kecil, beberapa jam semuanya hidup kembali.
Model besar menulis kode dapat menghasilkan berbagai bug yang jelas atau tersembunyi, dalam pemindahan applet kecil ini, Tao hanya menemukan satu: sebuah applet analisis kompleks berperilaku agak aneh saat digeser keluar dari kotak tampilan utama.
Sebaliknya, agen cerdas menemukan dua bug dalam kode aslinya yang tidak pernah dia sadari.
Satu masuk satu keluar, penilaiannya adalah: kualitas kode impas.
Seorang peraih Fields Medal, dikritik AI dalam kode yang ditulisnya sendiri lebih dari dua puluh tahun lalu.
Dia segera memberi batasan kesimpulan ini: applet kecil ini adalah alat bantu visual tambahan, bukan bagian inti dari pembuktian matematika, risiko konsekuensi bug sebenarnya tidak tinggi.
Digeser keluar kotak, pengguna sendiri yang menemukan. Tapi jika pembuktian salah, itu adalah insiden profesional.
Batas inilah yang menjadi kunci metodologi Tao.
Aplikasi analisis kompleks awalnya ditulis Tao dengan Java antara 1998-2000, sekarang setiap baris di bawahnya tertulis: Dipindahkan dengan bantuan Claude Code. (Sumber: teorth.github.io/tao-web)
Salah Tidak Menakutkan, yang Menakutkan Tidak Bisa Diperbaiki
Tao tidak menghindari masalah halusinasi.
Dia secara eksplisit mengatakan, AI modern masih cenderung berhalusinasi, dalam proses migrasi mungkin memasukkan kesalahan baru.
Tapi setelah dia periksa sendiri, tingkat kesalahan sekarang "terlihat memang lebih rendah daripada sebelumnya". Dan yang lebih penting, koreksi kesalahan besar-besaran menjadi jauh lebih mudah.
Tentu, ini kesan setelah dia periksa manual, bukan angka dari hasil menjalankan evaluasi.
Tao tidak membandingkan AI dengan "kesempurnaan", melainkan membandingkan "AI ditambah pemeriksaan manual" dengan "perawatan manual murni selama tiga puluh tahun" oleh dirinya sendiri.
Perawatan manual itu sendiri adalah mesin penghasil kesalahan yang terus-menerus, hanya saja telah salah selama tiga puluh tahun, tidak ada yang punya tenaga untuk memeriksa.
Kebanyakan perdebatan tentang AI, macet pada satu pertanyaan "apakah ia akan salah". Tao terutama mengukur tingkat kesalahan siapa yang lebih rendah, biaya perbaikan siapa yang lebih kecil.
Kesalahan yang menumpuk tidak menakutkan, yang menakutkan adalah tidak bisa diperbaiki. Situs lama mengubah satu informasi harus membuka lima halaman, situs baru mengubah satu baris YAML, seluruh situs otomatis dibangun ulang.
Ide yang Ditunda 27 Tahun, Selesai dalam Dua Jam
Setelah memindahkan program lama, dia memutuskan melangkah lebih jauh.
Tahun 1999, dia pernah punya konsep ambisius: membuat alat visualisasi teori relativitas khusus.
Yang dia inginkan adalah papan gambar untuk menggambar relativitas: letakkan sebuah lintasan gerak, ganti sudut pandang pengamat, seluruh gambar akan memelintir sendiri sesuai aturan relativitas. Menurutnya, "Inkscape di ruang Minkowski".
Dia bahkan sudah mulai menulis kode Java, akhirnya mundur karena kompleksitas kode, proyek terhenti.
Dia vibe coding dengan agen cerdas selama dua jam, konsep tahun 1999 itu berhasil dibuat.
11 Juli, simulator diagram ruang-waktu ini online, menjadi aplikasi orisinal pertama di situs baru, dia sendiri menandai ini masih versi alpha.
Simulator diagram ruang-waktu yang dikonsep 1999, diluncurkan 27 tahun kemudian. Satu perjalanan antarbintang, digambar sekali untuk setiap kerangka acuan kiri dan kanan. (Sumber: teorth.github.io/tao-web)
Yang menghalanginya dulu bukan matematika, adalah kompleksitas kode, 27 tahun kemudian, bagian ini terisi.
Tao memberi catatan kaki untuk seluruh peristiwa.
Dia berkata, perawatan halaman web mungkin salah satu bagian alur kerja akademik yang paling tidak memukau, paling tidak menarik. Justru tugas rutin yang membosankan ini sangat cocok untuk platform modern, seperti GitHub, dan juga sangat cocok untuk alat otomatisasi, termasuk AI modern dan juga skrip deterministik tradisional.
Berapa banyak laboratorium, jurnal, lembaga penelitian, masih menyimpan HTML, Excel, dan direktori lokal puluhan tahun. Pekerjaan nyata pertama agen cerdas, mungkin adalah menjadi insinyur migrasi "aset digital" ini.
Tentu, hal ini membuktikan AI cocok untuk migrasi data, strukturisasi, dan perawatan otomatisasi, tidak berarti AI sudah dapat menangani semua data akademik dengan andal, apalagi berarti pemeriksaan manual bisa dihilangkan.
Yang benar-benar berubah adalah hubungan antara seorang matematikawan dan akumulasi tiga puluh tahunnya: dulu dia harus merawat sendiri akumulasi ini, sekarang dia adalah orang yang terakhir melakukan pengecekan.
Referensi:
https://mathstodon.xyz/@tao/116893088594916122
https://terrytao.wordpress.com/2026/07/11/old-and-new-apps-via-modern-coding-agents/
https://github.com/teorth/tao-web
https://teorth.github.io/tao-web/https://news.ycombinator.com/item?id=48880170
Artikel ini berasal dari akun WeChat publik "新智元", penulis: ASI启示录
