Matematikawan bentuk kelompok penasihat di tengah klaim OpenAI atas 100 soal terpecahkan

Sembilan matematikawan membentuk Advisory Group on Mathematics and Artificial Intelligence, kelompok independen yang bermarkas di Institute for Advanced Study, Princeton, dan hadir daring di agmai.org. Terence Tao, yang mengumumkan kelompok ini di blognya, menjelaskan tugasnya secara lugas: menasihati perusahaan AI soal cara mereka berinteraksi dengan riset matematika dan komunitas matematikawan, serta cara menyajikan hasil matematis secara bertanggung jawab. Anggotanya mencakup Timothy Gowers, Martin Hairer, Edward Witten, Ravi Vakil, Camillo De Lellis, dan Melanie Matchett Wood. Mereka tidak menerima bayaran, tetap independen dari perusahaan AI mana pun, dan akan menerbitkan rekomendasi mereka secara terbuka.

Waktunya bukan kebetulan. OpenAI menyatakan model internalnya telah memecahkan lebih dari 100 soal terbuka dalam matematika, dan mengeklaim solusi untuk soal Navier-Stokes yang termasuk Millennium Prize. Tugas konkret pertama kelompok ini adalah membantu OpenAI memutuskan cara merilis kumpulan hasil sebanyak itu agar komunitas bisa benar-benar memeriksanya. Semua ini muncul di tengah ketegangan nyata: 25 peraih Fields Medal baru-baru ini menandatangani surat terbuka yang memperingatkan bahwa perlombaan memecahkan soal-soal terkenal bisa merusak tradisi ilmiah matematika. Hanya satu anggota kelompok baru ini, Camillo De Lellis, yang ikut menandatangani surat tersebut.

Tao dan rekan-rekannya meminta masukan dari matematikawan melalui formulir di situs kelompok. Kelompok ini tidak punya wewenang atas seberapa cepat OpenAI bergerak di internal, batas yang oleh sejumlah pembaca disebut sebagai titik ketika pengaruhnya habis.

Kenapa ini penting

Bagi siapa pun yang bekerja di ranah matematika, banjir bukti yang dihasilkan mesin sudah di depan mata, dan proses peer review tidak pernah dirancang untuk volume atau sumber seperti itu. Kelompok ini adalah upaya serius pertama menyusun norma untuk memeriksa dan menerbitkan hasil semacam itu, sehingga cara mereka menangani klaim OpenAI akan menentukan apakah Anda bisa memercayai judul berita "AI memecahkan X" berikutnya.