Ada Masalah Manusia di Balik Matematika yang Dihasilkan AI

Oleh Hannah Press

Kemajuan matematika AI telah mencapai tolok ukur lain, dengan OpenAI menerbitkan lebih dari 700 manuskrip dari model yang belum dirilis hanya beberapa hari setelah Meta membagikan beberapa makalah yang ditulis para matematikawan dengan model Muse Spark-nya.

Mengapa itu penting: AI menghasilkan riset matematika lebih cepat daripada yang bisa dibaca manusia. Percakapan sebelumnya berkisar pada peran manusia dalam membimbing AI dan apa yang hilang ketika AI bergerak terlalu cepat. Perhitungan terbaru yang harus dipecahkan berlaku jauh di luar dunia bukti dan teorema: apa yang terjadi jika kita tidak dapat mengikuti?

Mendorong berita: manuskrip matematika OpenAI mencakup 372 keluarga hasil, yang masing-masing menurut perusahaan memecahkan atau membuat kemajuan substanSIAL pada masalah terbuka dalam matematika atau ilmu komputer teoritis. Banyak dari bukti matematika tersebut telah diperiksa menggunakan perangkat lunak untuk mendeteksi kesalahan logika. Namun, sebagian lainnya belum diperiksa, dan OpenAI mengakui bahwa bukti-bukti tersebut mungkin masih mengandung kesalahan.

Apa yang dikatakan para pakar: Pada episode Mixture of Experts minggu ini, panel memperdebatkan apa arti kemajuan terbaru dalam matematika yang dihasilkan AI ini bagi orang-orang yang harus memahami semuanya. IBM®

Rekan Kush Varshney mengatakan matematika lebih dari sekadar pecahan dan perkalian yang sebagian besar dari kita pelajari di sekolah. “Ini adalah proses berpikir yang masuk ke suatu dunia yang ditentukan oleh beberapa aksioma dan postulat, dan mampu menunjukkan secara definitif tanpa keraguan bahwa beberapa properti memegang,” katanya. "Ini adalah perjalanan pemahaman.

Skyler Speakman, Ilmuwan Riset Senior di IBM®, menunjukkan bahwa perhatian manusia memiliki batas. “Kita adalah makhluk yang terbatas di sini,” katanya. “Apakah ini awal dari siklus tanpa akhir, ketika manusia [harus] memilah-milah konten yang dihasilkan AI? Kita sudah melihat hal serupa terjadi di bidang lain, tetapi apakah sekarang praktik ini benar-benar mulai mengakar di dunia matematika?”

Di balik berita ini: Jika AI yang bertugas menemukan jawaban, manusialah yang bertanggung jawab untuk memahami makna dan implikasinya. Varshney mengutip sebuah artikel terbaru di Quanta Magazine yang mengangkat gagasan tentang para matematikawan yang menjadi penerjemah. “Bukan manusia yang melakukan matematika, tetapi mereka menafsirkannya, mereka memahaminya untuk seluruh umat manusia,” katanya.

Sisi lain: Utsav Dholakia, For ward menerapkan Engineer di IBM®, berpendapat bahwa manusia yang tertinggal mungkin bukan kerugian. “Apakah benar-benar sangat buruk jika ada alat lain, jenis makhluk cerdas virtual lain, yang dapat membantu kita mengungkap beberapa aspek mendasar dari dunia di sekitar kita?” dia bertanya. “Mungkin otak kita bahkan tidak dirancang untuk berpikir melampaui tiga atau empat dimensi.”

Apa yang harus ditonton: Sejauh ini, AI telah menangani pertanyaan yang diajukan matematikawan selama beberapa dekade. Speakman mengajukan pertanyaan besar berikutnya: “Kapan AI dapat mengajukan pertanyaan matematika baru?”

Tonton episode lengkap Mixture of Experts di YouTube, Spotify , atau Apple Podcasts.