Claude Tuntaskan Masalah Milenium? Terence Tao: Saya Tidak Berkata Begitu
Selama satu hari terakhir, rumor tentang Claude yang diklaim memecahkan masalah Matematika Hadiah Milenium (Navier-Stokes) menyebar cepat di media sosial. Rumor ini dipicu oleh postingan matematikawan Terence Tao pada 3 September, di mana ia membayangkan skenario di mana AI otonom suatu hari nanti dapat memecahkan masalah Navier-Stokes yang belum terpecahkan, menghasilkan bukti kompleks yang divalidasi mesin. Namun, Tao kemudian mengklarifikasi bahwa pembahasannya bersifat hipotetis, dan ia tidak mengetahui adanya terobosan baru yang sebenarnya pada masalah tersebut.
Latar belakang rumor ini adalah kemajuan pesat AI dalam matematika. Baru-baru ini, Anthropic mengumumkan bahwa Claude berhasil memformalkan bukti Teorema Terakhir Fermat ke dalam kode Lean (sekitar 1,3 juta baris) hanya dalam 11 hari. Sebelumnya, pada Agustus, model penelitian Claude juga dikabarkan meningkatkan batas bawah proporsi nol fungsi zeta Riemann dari 41,6% menjadi 67,2%. OpenAI juga telah memublikasikan sejumlah hasil dalam geometri diskrit dan ilmu komputer teoritis.
Kemajuan ini memicu diskusi tentang dampak AI terhadap penelitian matematika di masa depan. Tao menyoroti pergeseran di mana verifikasi formal (seperti menggunakan Lean) menjadi semakin penting untuk memeriksa bukti yang dihasilkan AI. Peran matematikawan manusia mungkin akan lebih fokus pada pemilihan masalah, merancang jalur penelitian, dan menyaring hasil yang dihasilkan mesin menjadi teori yang dapat dipahami. Pertanyaan tentang bagaimana melestarikan pengetahuan dari proses eksplorasi AI, yang mungkin "tertutup", serta bagaimana mengalokasikan kontribusi dan melatih peneliti generasi mendatang, menjadi tantangan baru bagi komunitas matematika.
Intinya, meskipun klaim bahwa Claude telah memecahkan masalah Navier-Stokes masih berupa rumor tanpa bukti, diskusi yang muncul menunjukkan bahwa kemungkinan AI memecahkan masalah matematika besar kini dianggap lebih serius daripada beberapa tahun lalu, mendorong komunitas ilmiah untuk mempersiapkan dampaknya.
marsbit09/06 03:52