Stephen Wolfram telah menghabiskan empat dekad membina perisian yang mengautomasikan matematik, dan dia kini mendapati dirinya menolak idea bahawa kecerdasan buatan akan menyelesaikan tugas itu. Dalam esei panjang bertajuk "What's the Future for Pure Math Research in the Age of AI?", yang diterbitkan di blog Penulisannya dan mencetuskan semula perbahasan di Hacker News hujung minggu ini, ahli fizik dan pengasas Wolfram Research berhujah bahawa panggilan untuk menyerahkan matematik tulen kepada rehat AI, dalam kata-katanya, mengenai "salah faham asas" dan apa yang AI lakukan.
"Tajuk berita terus datang: sistem AI begini dan begitu telah menyelesaikan masalah matematik begini dan begitu," tulis Wolfram dalam pembukaan esei. Apa yang mengikuti tajuk utama itu, katanya, adalah kesimpulan yang biasa - bahawa ahli matematik manusia mungkin tidak lagi diperlukan - dan ketidaksabaran di pihaknya dengan hujah yang mengabaikan sejarah bidangnya sendiri. For more context on this story, see our ongoing AI industry coverage.
Preseden Mathematica
Hujah balas Wolfram bermula dengan sejarah peribadi. Apabila Mathematica dilancarkan pada tahun 1988, dia ingat, terdapat perbincangan yang sama bahawa matematik akan diautomasikan menjadi sia-sia. Itu bukan bagaimana ia dimainkan. Perisian itu menggantikan tugas mekanikal tertentu - "jika menggunakan kamiran simbolik adalah perkara yang difikirkan oleh seseorang untuk melakukan matematik, maka, ya, Mathematica pada dasarnya telah menggantikannya," tulisnya - tetapi teras matematik tulen, bahagian yang mentakrifkan disiplin, tidak disentuh. Sebaliknya, automasi meningkatkan tahap yang boleh dicapai oleh pengamal matematik.
Perbezaan itu penting kerana, dalam akaun Wolfram, aplikasi teknik matematik bukanlah perkara yang sama dengan penyelidikan matematik. Pengiraan yang pernah menggunakan kerjaya menjadi panggilan satu talian, dan ahli matematik meningkatkan tangga abstraksi dan bukannya keluar dari pekerjaan.
Kebaikan AI Sebenarnya dalam Matematik
Esei itu jauh dari mengenepikan AI moden. Wolfram menyebutnya "tidak dapat dinafikan berguna, kadangkala sangat berguna," dan mengenal pasti sumbangan terbesarnya kepada matematik sebagai keupayaan untuk melombong pengetahuan terkumpul bidang itu. Di mana seorang penyelidik pada tahun 1970-an bergantung pada carian kata kunci kesusasteraan, sistem moden boleh memaparkan sambungan merentasi badan kerja yang tidak dapat diingati oleh manusia.
"Manusia secara rutin melakukan itu juga, " dia menulis tentang menyusun hasil menjadi kesimpulan baru. "Tetapi mereka cenderung hanya membaca ratusan kertas; AI telah membaca berjuta-juta dengan berkesan." Asimetri menjadikan AI sebagai kolaborator yang berkuasa untuk mencari kombinasi mengejutkan hasil yang diketahui.
Tetapi pengambilan semula dan penggabungan semula, dia berpendapat, menghadapi had yang sukar di sempadan. "Matematik yang hebat adalah - lebih daripada yang lain - ditakrifkan oleh soalan yang ditanya." Dan soalan, pada pandangannya, datang dari imaginasi manusia. AI boleh mengautomasikan apa yang ahli matematik sebelum ini terpaksa lakukan sendiri; ia belum boleh memutuskan apa yang patut dilakukan.
Pengiraan Menjana Teorem, Bukan Makna
Bahagian paling tajam dalam esei membezakan AI moden daripada pengiraan mentah, satu perbezaan yang telah dibangunkan oleh Wolfram sejak kerjanya mengenai automata selular pada 1980-an. Pengiraan tulen, katanya, boleh menjana teorem baharu tanpa henti — urutan fakta matematik yang tidak terhingga, lengkap dengan kejutan dan keaslian, tanpa AI diperlukan. Konsepnya sendiri tentang ketidakterurangan pengiraan membayangkan bahawa peraturan mudah boleh menghasilkan hasil yang tidak dapat diramalkan oleh jalan pintas.
Namun teorem yang dihasilkan dengan cara itu, seperti yang dikatakannya, hanyalah "hasil yang dipetik daripada alam semesta pengiraan." Apa yang meningkatkan keputusan ke dalam matematik ialah tempatnya dalam struktur yang manusia dapati bermakna — pertimbangan tentang kepentingan yang tidak dibekalkan oleh proses penjanaan.
Kenapa Matematik Tulen Wujud Sama sekali
Yang mendasari hujah adalah pandangan matematik sebagai institusi manusia dan bukannya timbunan kenyataan yang benar. Dari Plato dan Euclid seterusnya, Wolfram menulis, matematik tulen telah menjadi contoh yang menentukan pemikiran abstrak membina struktur yang lebih besar — "bangunan intelektual terbesar yang telah dibina oleh tamadun kita." Pertukaran abad kesembilan belas ke arah abstrak telah memutuskannya daripada gerak hati setiap hari, dan nilainya sentiasa bergantung pada pengamal yang memutuskan bahagian mana ruang kemungkinan yang tidak terhingga patut diberi perhatian.
Penyelidikan Wolfram sendiri telah melingkari persoalan ini selama bertahun-tahun, dari ruang semua sistem aksiom yang mungkin kepada struktur mengehadkan rangkaian teorem kepada peranan yang dimainkan oleh manusia dalam mentakrifkan disiplin. Esei baharu menggunakan latar belakang itu pada masa sekarang: AI mengubah ekonomi buruh matematik secara dramatik, tetapi hala tuju perusahaan — perkara yang perlu dibuktikan, perkara yang perlu diambil berat, perkara yang dikira sebagai pusat dan bukannya persisian — kekal sebagai warisan manusia.
Tiada satu pun daripada ini menjadikan Wolfram seorang AI yang ragu-ragu; syarikatnya membenamkan pembelajaran mesin di seluruh barisan produknya. Ia menjadikannya seorang yang tepat. Kesimpulannya bukanlah bahawa AI akan membiarkan matematik tidak disentuh, tetapi masa depan yang menarik ialah kerjasama - mesin yang mengendalikan skala, pengambilan dan pengesahan, sementara manusia mengekalkan penjagaan soalan. Esei mencadangkan bahawa selagi kepentingan matematik adalah soal pertimbangan dan bukannya pengiraan, huraian kerja ahli matematik kekal dalam peralihan, walaupun hampir semua perkara lain tentang pekerjaan itu berubah.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
