Terence Tao, ahli matematik UCLA yang dianggap secara meluas sebagai tokoh hidup paling berpengaruh dalam bidang itu, telah menerbitkan sebuah esei dengan alasan bahawa kecerdasan buatan mendorong matematik ke dalam tempoh pergolakan yang setanding dengan krisis asas yang membentuk semula disiplin seabad yang lalu. Kertas kerja, "Matematik dalam zaman AI," muncul di arXiv pada 17 Ogos dan berdasarkan syarahan umum Tao yang disampaikan pada Kongres Antarabangsa Ahli Matematik 2026.
Esei itu dengan cepat menjadi salah satu teks saintifik yang paling banyak dibincangkan minggu ini di kalangan penyelidik dan jurutera, menarik khalayak ramai di forum seperti Berita Hacker. Untuk bidang yang telah menghabiskan masa tiga tahun lalu membahaskan sama ada AI benar-benar boleh melakukan matematik peringkat penyelidikan, hujah Tao menukar soalan sepenuhnya.
Krisis Nilai, Bukan Kebenaran
Pembingkaian sejarah Tao adalah disengajakan. Antara kira-kira 1900 dan 1930, matematik telah digoncang oleh paradoks Russell pada tahun 1901 dan teorem ketidaklengkapan Gödel pada tahun 1931 — penemuan yang memaksa ahli matematik untuk meninggalkan andaian tidak formal dan membina asas yang jelas dan ketat subjek masih berpijak pada hari ini. Pergolakan itu, dia berpendapat, akhirnya menjadikan matematik lebih kuat.
Persamaan yang dia lukis adalah tepat: apa yang sedang diuji tekanan sekarang bukanlah rangka kerja matematik untuk kebenaran, tetapi "rangka kerja nilai dan amalan matematik yang sebahagian besarnya tersirat" — apa yang dianggap oleh komuniti sebagai sumbangan, apa ganjarannya, apa yang dianggapnya seperti yang difahami, dan siapa, atau apa, yang dianggapnya sebagai telah melakukan kerja itu. Sama seperti krisis terakhir yang memaksa yang tersirat menjadi eksplisit, Tao berhujah yang ini akan memaksa ahli matematik untuk mengkodifikasikan matlamat yang tidak pernah perlu ditulis.
Melangkau Perbahasan Keupayaan
Pilihan struktur esei yang paling menarik ialah ia enggan berhujah sama ada AI boleh melakukan matematik. Sebaliknya, Tao menetapkan hipotesis bahawa alat AI yang mampu melakukan tugasan matematik peringkat penyelidikan akan tiba, dan menganggap segala-galanya di hiliran andaian itu sebagai masalah sebenar. Dia memanggil ini sebagai "Soalan Respons Komuniti": bagaimana seharusnya komuniti matematik bertindak balas, bukan sama ada keupayaan itu nyata.
Ia adalah langkah ortogon yang sengaja. Perdebatan mengenai keupayaan model, menurut Tao, kedua-duanya tidak dapat diselesaikan secara abstrak dan di sebelah perkara. Soalan-soalan mendesak - untuk apa matematik, dan apa yang sebenarnya dihargai oleh pengamalnya - akan menuntut jawapan walaupun kemajuan AI terhenti esok.
Kekurangan Bukti, Kelimpahan Bukti dan Undang-undang Goodhart
Inti kepada esei ialah kajian kes tentang penyelesaian masalah, komponen amalan matematik yang paling terancam secara langsung oleh automasi. Tao meneliti perkara yang berlaku apabila bidang itu beralih daripada ekonomi kekurangan bukti — di mana bukti yang disahkan, bukti asli adalah jarang dan berharga — kepada salah satu bukti yang banyak, di mana hujah yang dihasilkan mesin adalah murah dan banyak.
Senarai kata kuncinya menandakan perkara yang dia pelajari: pemformalkan, pembantu bukti, semakan rakan sebaya, undang-undang Goodhart. Perkara terakhir itu — prinsip bahawa ukuran tidak lagi menjadi ukuran yang baik sebaik sahaja ia menjadi sasaran — berulang sepanjang masa. Kiraan penerbitan, keputusan pertandingan, dan asal teorem semuanya berfungsi sebagai proksi untuk sumbangan matematik. Dalam dunia di mana AI boleh meningkatkan proksi tersebut secara berskala, komuniti perlu memberi ganjaran kepada perkara yang sebenarnya nilainya berbanding perkara yang boleh dikira secara sejarah.
Esei ditutup dengan pengesyoran dan tinjauan aliran kerja yang baru muncul — termasuk persekitaran bukti formal seperti yang Tao sendiri telah memperjuangkan eksperimen dengan bantuan AI, matematik yang disahkan secara rasmi — di samping pengakuan terus terang bahawa jawapan komuniti akan berkembang seperti yang berlaku oleh teknologi.
Mengapa Esei Matematik Penting Di Luar Matematik
Tao ialah tokoh yang luar biasa: Pemenang Pingat Fields yang telah menghabiskan masa bertahun-tahun bekerja secara langsung dengan pembantu bukti dan alatan AI daripada mengulasnya dari jauh. Penglibatan praktikal itu memberikan berat esei di luar matematik tulen, kerana hampir setiap disiplin penyelidikan menghadapi penyongsangan yang sama yang diterangkannya. Kajian rakan sebaya, kepengarangan, kredit, dan takrifan sumbangan berada di bawah tekanan yang sama dalam fizik, biologi dan sains komputer — bidang yang tidak mempunyai kepala abad matematik mula membuat asasnya jelas.
Penerimaan setakat ini menunjukkan hujah telah sampai. Rangkaian perbincangan telah memfokuskan pada pembingkaian kekurangan-ke-kelimpahan Tao sebagai lensa yang berguna untuk ahli akademik secara amnya, dengan perhatian khusus pada pandangan beliau bahawa krisis nilai, tidak seperti krisis asas, tidak dapat diselesaikan oleh sekumpulan kecil ahli logik. Ia perlu diusahakan oleh seluruh komuniti — jurnal, jawatankuasa pengambilan pekerja, badan geran, dan ahli matematik yang kerjayanya dibina berdasarkan norma tersirat yang kini di bawah tekanan.
Kesimpulan Tao akhirnya membina dan bukannya membimbangkan. Krisis asas menghasilkan rangka kerja yang dipercayai yang bertahan selama satu abad ujian. Pemeriksaan yang teliti dan jujur tentang apa yang sebenarnya nilai matematik, dia berpendapat, boleh menjadikan disiplin itu lebih kuat dan lebih berdaya tahan berbanding sebelum ini — dengan syarat masyarakat melakukan kerja untuk membuat peraturan tidak bertulisnya jelas sebelum keadaan membuat pilihan untuknya.
---
Kekal Mendahului AIDapatkan berita, analisis dan penemuan terkini AI — semuanya di satu tempat.
Baca lebih banyak berita AI →
