Stephen Wolfram telah menghabiskan empat dekade membangun perangkat lunak yang mengotomatisasi matematika, dan dia kini mendapati dirinya menolak gagasan bahwa kecerdasan buatan akan menyelesaikan pekerjaannya. Dalam esai panjang berjudul "Apa Masa Depan Penelitian Matematika Murni di Era AI?", yang dipublikasikan di blog Writings dan memicu kembali perdebatan di Hacker News akhir pekan ini, fisikawan dan pendiri Wolfram Research berpendapat bahwa seruan untuk menyerahkan matematika murni ke AI, dalam kata-katanya, bertumpu pada "kesalahpahaman mendasar" tentang apa itu matematika dan apa yang dilakukan AI.
“Berita utama terus berdatangan: sistem AI ini dan itu telah memecahkan masalah matematika ini dan itu,” tulis Wolfram di pembukaan esainya. Yang muncul setelah berita utama tersebut, katanya, adalah sebuah kesimpulan umum – bahwa manusia ahli matematika mungkin tidak lagi diperlukan – dan ketidaksabarannya terhadap argumen yang mengabaikan sejarah bidangnya sendiri. For more context on this story, see our ongoing breaking AI news.
Preseden Mathematica
Argumen tandingan Wolfram dimulai dengan sejarah pribadi. Ketika Mathematica diluncurkan pada tahun 1988, kenangnya, ada pembicaraan serupa bahwa matematika akan diotomatisasi hingga menjadi tidak ada gunanya. Bukan itu yang terjadi. Perangkat lunak ini memang menggantikan tugas-tugas mekanis tertentu — "jika mengerjakan integral simbolik adalah apa yang dipikirkan seseorang tentang matematika, maka, ya, Mathematica pada dasarnya telah menggantikannya," tulisnya - namun inti dari matematika murni, bagian yang mendefinisikan disiplin ilmu, tidak tersentuh. Sebaliknya, otomatisasi meningkatkan tingkat kemampuan praktisi matematika.
Perbedaan ini penting karena, menurut Wolfram, penerapan teknik matematika tidak sama dengan penelitian matematika. Komputasi yang tadinya menyita karier kini menjadi panggilan satu jalur, dan para ahli matematika naik tangga abstraksi alih-alih keluar dari pekerjaan.
Apa Sebenarnya Kegunaan AI dalam Matematika
Esai ini sama sekali tidak meremehkan AI modern. Wolfram menyebutnya "sangat berguna, terkadang sangat berguna," dan mengidentifikasi kontribusi terbesarnya terhadap matematika sebagai kemampuan untuk menggali akumulasi pengetahuan di lapangan. Ketika seorang peneliti pada tahun 1970-an mengandalkan pencarian kata kunci dalam literatur, sistem modern dapat memunculkan hubungan di seluruh bidang pekerjaan yang tidak dapat diingat oleh manusia.
“Manusia juga secara rutin melakukan hal tersebut,” tulisnya tentang mengumpulkan hasil menjadi kesimpulan baru. “Tetapi mereka cenderung hanya membaca ratusan makalah; AI secara efektif telah membaca jutaan makalah.” Asimetri ini menjadikan AI sebagai kolaborator yang kuat untuk menemukan kombinasi mengejutkan dari hasil yang diketahui.
Namun pengambilan dan rekombinasi, menurutnya, menemui batas yang sulit di garis depan. "Matematika yang hebat - lebih dari segalanya - ditentukan oleh pertanyaan-pertanyaan yang diajukan." Dan pertanyaan-pertanyaan tersebut, dalam pandangannya, berasal dari imajinasi manusia. AI dapat mengotomatiskan apa yang sebelumnya harus dilakukan sendiri oleh para ahli matematika; mereka belum bisa memutuskan apa yang layak dilakukan.
Komputasi Menghasilkan Teorema, Bukan Makna
Bagian paling tajam dari esai ini membedakan AI modern dari komputasi mentah, sebuah perbedaan yang telah dikembangkan Wolfram sejak karyanya tentang automata seluler pada tahun 1980an. Komputasi murni, katanya, dapat menghasilkan teorema baru tanpa henti - rangkaian fakta matematika yang tak terbatas, lengkap dengan kejutan dan orisinalitas, tidak memerlukan AI. Konsepnya mengenai irreducibility komputasi menyiratkan bahwa aturan sederhana dapat menghasilkan hasil yang tidak dapat diprediksi oleh jalan pintas.
Namun teorema-teorema yang dihasilkan dengan cara seperti itu, seperti yang ia katakan, hanyalah "hasil yang diambil dari dunia komputasi". Apa yang mengangkat suatu hasil ke dalam matematika adalah tempatnya dalam struktur yang dianggap bermakna oleh manusia - sebuah penilaian tentang pentingnya hal yang tidak diberikan oleh proses pembangkitan apa pun.
Mengapa Matematika Murni Ada
Yang mendasari argumen ini adalah pandangan matematika sebagai institusi manusia dan bukan sekedar kumpulan pernyataan yang benar. Sejak Plato dan Euclid dan seterusnya, tulis Wolfram, matematika murni telah menjadi contoh nyata pemikiran abstrak yang membangun struktur yang semakin besar - "bangunan intelektual terbesar yang pernah dibangun oleh peradaban kita." Peralihan abad kesembilan belas ke arah abstraksi memisahkannya dari intuisi sehari-hari, dan nilainya selalu bergantung pada para praktisi yang memutuskan bagian mana dari ruang kemungkinan tak terbatas yang patut mendapat perhatian.
Penelitian Wolfram sendiri telah membahas pertanyaan ini selama bertahun-tahun, mulai dari ruang semua sistem aksioma yang mungkin hingga struktur pembatas jaringan teorema hingga peran manusia dalam mendefinisikan disiplin ilmu. Esai baru ini menerapkan latar belakang tersebut pada saat ini: AI mengubah perekonomian kerja matematika secara dramatis, namun arah perusahaan – apa yang harus dibuktikan, apa yang harus dipedulikan, apa yang dianggap sebagai hal yang penting dan bukan hanya sekedar periferal – tetap menjadi warisan manusia.
Semua ini tidak membuat Wolfram skeptis terhadap AI; perusahaannya menyematkan pembelajaran mesin di seluruh lini produknya. Itu membuatnya menjadi orang yang tepat. Kesimpulannya bukanlah bahwa AI akan membiarkan matematika tidak tersentuh, namun masa depan yang menarik adalah kolaborasi – mesin yang menangani skala, pengambilan, dan verifikasi, sementara manusia tetap mengurus pertanyaan-pertanyaan tersebut. Esai tersebut menyatakan bahwa selama kepentingan matematika adalah masalah penilaian dan bukan komputasi, deskripsi pekerjaan ahli matematika akan bertahan dalam transisi, bahkan ketika hampir semua hal lain tentang pekerjaan tersebut berubah.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
