Dakwaan OpenAI tentang Navier–Stokes: Apa yang Berlaku dan Mengapa Ahli Matematik Membantah

Pengumuman OpenAI pada 8 September luar biasa kerana syarikat itu mendakwa telah membuat kemajuan terhadap salah satu masalah terbuka paling penting dalam matematik. Namun, dakwaan bukti — walaupun disertakan kaedah formal — tidak sama dengan keputusan yang sudah diperiksa secara bebas dan diterima oleh komuniti matematik.

Apa yang didakwa OpenAI

OpenAI berkata sebuah sistem dalaman yang belum dikeluarkan menghasilkan bukti analitik serta pemformalan dalam Lean, iaitu perisian pembantu bukti formal. Menurut syarikat itu, hasil tersebut menunjukkan aliran Navier–Stokes tiga dimensi yang pada asalnya licin boleh membentuk singulariti dalam masa terhingga. Usaha itu dikatakan melibatkan kira-kira 10,000 ejen yang beroperasi serentak. 2

Jika hasil ini bertahan melalui semakan dan benar-benar menepati rumusan rasmi masalah tersebut, jawapannya adalah negatif kepada persoalan kewujudan dan kelicinan: penyelesaian licin tidak semestinya kekal licin untuk selama-lamanya. Clay Mathematics Institute (CMI) menerangkan masalah itu sebagai persoalan tentang kewujudan dan kelicinan penyelesaian Navier–Stokes dalam ruang Euclid tiga dimensi. 18

Mengapa Navier–Stokes begitu penting

Persamaan Navier–Stokes menerangkan pergerakan bendalir. Ia menjadi asas matematik bagi kajian aliran bendalir, tetapi tingkah laku umum penyelesaian tiga dimensinya masih kurang difahami, walaupun persamaan ini sudah ditulis sejak abad ke-19. 30

Masalah ini ialah salah satu Millennium Prize Problems. Huraian rasminya meminta bukti bahawa penyelesaian yang licin dan munasabah dari sudut fizik wujud untuk semua masa, atau penyelesaian alternatif yang memenuhi syarat ditetapkan. 1721

Jadi, ini bukan sekadar ujian keupayaan model AI. Jika sah, penyelesaiannya menyentuh persoalan asas dalam analisis matematik dan dinamik bendalir. Tetapi besarnya implikasi itu juga bermaksud tahap pengesahan perlu lebih tinggi — bukan lebih rendah.

Mengapa ia belum terus diterima sebagai penyelesaian

Pada 11 September, CMI menyatakan bahawa ia sedang mempertimbangkan pengumuman bahawa masalah itu “nampaknya telah diselesaikan”, sambil menegaskan proses penilaian dan penentuan kreditnya memang dilakukan dengan teliti dan tidak tergesa-gesa. 18

Peraturan hadiah CMI menetapkan tiga syarat sebelum cadangan penyelesaian boleh dipertimbangkan: ia mesti diterbitkan dalam saluran penerbitan yang layak, sekurang-kurangnya dua tahun mesti berlalu selepas penerbitan, dan hasil itu perlu diterima secara umum oleh komuniti matematik global. 27 Selain itu, cadangan tersebut mesti menjawab persoalan dalam pernyataan rasmi masalah dengan memuaskan. 20

Lean boleh menyemak sama ada rangkaian pernyataan formal mengikuti definisi dan andaian yang telah dikodkan. Itu ialah bentuk pengesahan yang sangat kuat. Namun, semakan komuniti masih penting: ahli matematik perlu menilai sama ada teorem yang diformalkan, andaian yang digunakan, dan terjemahan daripada masalah tidak formal kepada bahasa formal benar-benar menyelesaikan persoalan yang dimaksudkan.

Status paling tepat buat masa ini ialah didakwa dan sedang diteliti, bukannya diterima sejagat atau diperakui untuk hadiah.

Pertikaian keutamaan dan pengiktirafan kredit

Pengumuman itu muncul ketika wujud pertikaian melibatkan ahli matematik Universiti New York, Tristan Buckmaster, dan Levent Alpöge, ahli matematik yang bersekutu dengan Anthropic. Laporan menyebut kedua-duanya sedang mengusahakan persoalan berkaitan, manakala Buckmaster membangkitkan persoalan tentang bagaimana OpenAI memutuskan untuk mengejar masalah itu. 953

Buckmaster turut membuat dakwaan tentang kelakuan tidak wajar dalam perbincangan berkaitan atribusi dan kerjasama. OpenAI menolak dakwaan lebih luas daripada para penyelidik itu. Syarikat tersebut berkata penyelidik dan ejennya tidak melihat kerja mereka sebelum ia disiarkan kepada umum, dan tiada data pengguna khusus diakses untuk menyelesaikan masalah itu. 53

Ini ialah versi peristiwa yang dipertikaikan, bukannya dapatan yang telah dibuktikan. Yang jelas, isu teknikal ini berubah menjadi pertikaian tentang siapa patut menerima kredit apabila makmal AI dan penyelidik manusia bekerja berhampiran sempadan penyelidikan yang sama.

Mengapa isu penggunaan data menjadi sensitif

Persoalan paling sensitif ialah sama ada kerja yang dimasukkan ke dalam produk AI boleh mempengaruhi keupayaan model yang kemudian digunakan dalam usaha penyelidikan. OpenAI berkata ia tidak mengakses data pengguna khusus milik para penyelidik bagi kerja Navier–Stokes tersebut. Namun, syarikat itu mengakui ia tidak boleh menolak sepenuhnya kemungkinan bahawa data tanpa identiti daripada penggunaan produk membantu menambah baik modelnya. 59

Perbezaan itu mungkin penting dari sudut teknikal, tetapi ia meninggalkan persoalan tadbir urus yang besar: tahap asal-usul data, persetujuan dan kebolehauditan apakah yang wajar dijangkakan oleh penyelidik apabila mereka menggunakan AI untuk kerja yang belum diterbitkan?

Bagi pengguna akademik, pertikaian ini mengingatkan mereka supaya memahami dasar data produk sebelum memasukkan draf, andaian, kod atau bahan penyelidikan sensitif ke dalam alat AI.

Amaran daripada pemenang Fields Medal

Pada 11 September, Terence Tao menerbitkan satu deklarasi bertajuk A Severe Misalignment of AI in Mathematics, dengan 25 penandatangan awal yang semuanya pemenang Fields Medal. 43

Deklarasi itu mencerminkan kebimbangan bahawa syarikat mungkin melayan masalah terbuka yang terkenal sebagai penanda aras awam atau pertandingan publisiti, bukannya kerja intelektual yang memerlukan kerjasama. Pengkritik bimbang pengumuman tergesa-gesa, huraian yang tidak lengkap, atribusi lemah dan insentif untuk “memotong giliran” penyelidik lain boleh menyebabkan ahli matematik kurang sanggup berkongsi idea awal.

Amarannya bukan bahawa AI patut disingkirkan daripada matematik. Sebaliknya, norma yang menyokong kemajuan matematik — penelitian terbuka, penulisan yang teliti, pengiktirafan kredit dan perbincangan ilmiah — perlu dilindungi apabila sistem AI menjadi semakin berkeupayaan.

Piawaian untuk matematik berbantu AI yang bertanggungjawab

Kontroversi ini menunjukkan beberapa piawaian praktikal bagi dakwaan penyelidikan AI yang luar biasa:

• Bahan bukti yang terbuka untuk diperiksa: Dakwaan besar wajar disertakan manuskrip yang ketat dan, jika ada, pemformalan yang boleh diperiksa mesin.
• Semakan bebas: Semakan formal dan penilaian pakar matematik mempunyai fungsi berbeza; dakwaan besar memerlukan kedua-duanya.
• Atribusi yang jelas: Makmal perlu mendokumenkan kerja terdahulu yang relevan, sumbangan manusia dan batas peranan sistem AI.
• Asal-usul data: Penyelidik memerlukan komitmen yang mudah difahami tentang sama ada dan bagaimana interaksi mereka boleh menyumbang kepada penambahbaikan model.
• Ruang untuk penelitian: Menyelesaikan masalah besar bukan sekadar menghasilkan jawapan benar atau salah. Ia juga melibatkan penetapan apa yang telah dibuktikan, mengapa ia betul dan kedudukan hasil itu dalam bidang berkenaan.

Kesimpulannya

Pengumuman OpenAI mungkin menjadi detik penting dalam penyelidikan matematik berbantu AI, tetapi ia tidak menamatkan perbahasan pada hari pengumuman dibuat. Soalan penentunya ialah sama ada bukti yang didakwa itu menerima penerimaan bebas dan berterusan mengikut piawaian komuniti matematik serta Clay Mathematics Institute. 1827

Reaksi balas tersebut menunjukkan sebab proses itu penting. Apabila AI memasuki penyelidikan berisiko tinggi, kepercayaan bukan hanya bergantung pada apa yang sistem boleh temui, tetapi juga sama ada penemuan itu boleh disahkan, dihuraikan dan dikreditkan secara adil.