Apa yang Sebenarnya Bisa dan Tidak Bisa Dilakukan Kelompok Penasihat Matematika OpenAI

OpenAI merespons sorotan atas klaim pembuktian Navier–Stokes dengan mendukung pembentukan Kelompok Penasihat Matematika dan Kecerdasan Buatan (Advisory Group on Mathematics and Artificial Intelligence). Kelompok ini diwadahi oleh Institute for Advanced Study (IAS) di Princeton dan memberi jalur formal bagi matematikawan terkemuka untuk menasihati penilaian serta publikasi hasil yang dihasilkan AI.

Namun, ini adalah badan penasihat—bukan jurnal ilmiah, lembaga pemeriksa bukti yang berdiri sendiri, maupun regulator atas program riset OpenAI. 332

Mengapa kelompok ini dibentuk

Pada 8 September, OpenAI merilis manuskrip sepanjang 166 halaman beserta formalisasi Lean yang diklaim menunjukkan aliran Navier–Stokes tiga dimensi yang mulus, dengan gaya luar yang mulus, dapat membentuk singularitas dalam waktu hingga. OpenAI menyebutnya sebagai solusi bagi masalah eksistensi dan kehalusan Navier–Stokes. 6

Lean adalah proof assistant, yakni perangkat lunak yang dapat memeriksa secara mekanis apakah suatu teorema mengikuti definisi, aksioma, dan lemma yang telah dikodekan. Artefak Lean membuat pembuktian dapat diperiksa mesin, sedangkan manuskripnya tetap menjadi penjelasan yang ditujukan bagi pembaca manusia. Setelah perilisan itu, pemberitaan menyebut pembuktian tersebut perlu waktu untuk diurai dan kelompok penasihat baru ini diumumkan menyusul kekhawatiran tentang cara temuan matematika besar hasil AI ditinjau serta disebarluaskan. 2

Kontroversi lain menyangkut kredit dan prioritas. Tristan Buckmaster dan Levent Alpöge merilis hasil terverifikasi Lean mengenai persoalan persamaan fluida yang terkait pada periode yang hampir bersamaan. Kedua perilisan itu memicu sengketa publik soal atribusi. Isu ini berbeda dari pertanyaan apakah bukti formal OpenAI lolos pemeriksaan: fokusnya adalah asal-usul gagasan, akses terhadap gagasan, dan kredit akademik yang semestinya. 1

Sembilan anggota pendiri

Panel awal ini terdiri dari:

• François Charles
• Camillo De Lellis
• Timothy Gowers
• Martin Hairer
• Nikhil Srivastava
• Ulrike Tillmann
• Ravi Vakil
• Edward Witten
• Melanie Matchett Wood 26

Kelompok ini diwadahi IAS, tetapi dijelaskan beroperasi secara independen dari OpenAI. 33

Kewenangan yang dimiliki

Menurut OpenAI, kelompok ini akan memberi nasihat mengenai evaluasi dan komunikasi hasil matematika baru. Cakupannya meliputi penilaian arti penting temuan, penyebarluasan yang terkoordinasi, serta standar akademik dan profesional yang relevan. 1733

Independensi yang dijanjikan memiliki beberapa unsur konkret:

• Anggotanya tidak dibayar OpenAI.
• Mereka dapat menyampaikan saran yang tidak diminta OpenAI.
• Mereka dapat berkomentar secara terbuka mengenai dampak OpenAI terhadap matematika.
• Mereka dapat memublikasikan nasihat mereka.
• Mereka dapat mengubah keanggotaan kelompok sendiri. 33

Ketentuan tersebut penting karena membuka ruang bagi anggota untuk mengkritik OpenAI secara publik, bukan hanya di balik layar. Meski demikian, otoritasnya tetap bersifat memberi saran, bukan mengikat. 33

Batas tegas: apa yang tidak dapat dilakukan

Panel ini tidak punya kewenangan mengambil keputusan atas arah maupun jadwal riset OpenAI. OpenAI secara eksplisit menyatakan kelompok itu tidak akan memberi nasihat tentang seberapa cepat perusahaan menjalankan riset matematika internalnya. 332

Artinya, kelompok ini tidak dapat:

• menghentikan pengumuman hasil riset;
• mewajibkan OpenAI merilis bukti, model, atau catatan riset yang mendasarinya;
• memaksa perubahan strategi publikasi OpenAI;
• memutuskan apakah suatu klaim matematika resmi diterima komunitas riset; atau
• menyelesaikan sendiri sengketa prioritas maupun atribusi masa lalu.

Pembedaan ini krusial. Kelompok tersebut dapat merekomendasikan standar dan menyampaikan keberatan, tetapi OpenAI tetap mengendalikan model, alur kerja internal, pelepasan bukti, serta keputusan untuk menerima atau menolak rekomendasi tertentu. Jadi, panel ini lebih tepat dipahami sebagai jembatan antara laboratorium AI dan komunitas matematika—bukan pengganti peer review independen. 332

Mengapa independensi dan keterwakilan masih dipertanyakan

Piagam OpenAI memang memberi kebebasan berarti kepada kelompok ini untuk berbicara dan memublikasikan pandangan. Namun, efektivitasnya bergantung pada kemauan anggota memakai kebebasan itu dan kemauan OpenAI menanggapi mereka. Ketiadaan kewenangan atas tempo riset sangat penting, karena pengumuman cepat dengan sorotan besar menjadi salah satu pusat kritik terhadap pendekatan laboratorium AI dalam menyampaikan klaim matematika. 233

Para anggota panel memiliki reputasi sangat kuat, yang memberi kredibilitas. Namun, sembilan orang tidak serta-merta mewakili semua sudut pandang yang relevan. Spesialis metode formal, peneliti di subbidang yang terdampak, matematikawan pada tahap awal karier, serta komunitas di luar institusi yang diwakili panel pendiri mungkin mempunyai pandangan berbeda tentang peninjauan, akses, kredit, dan norma publikasi. Pemberitaan juga menyoroti pertanyaan mengenai bagaimana anggota dipilih. 37

Struktur tanpa bayaran dapat memperkuat jarak dari OpenAI. Di sisi lain, kemampuan kelompok melakukan penelaahan yang berkelanjutan dan kritis akan bergantung pada waktu luang anggotanya serta akses mereka terhadap materi dasar.

Apa artinya bagi klaim Navier–Stokes

Verifikasi Lean penting karena dapat mengecek secara mekanis apakah teorema mengikuti definisi, aksioma, dan lemma yang dikodekan dalam bukti. Tetapi, formalisasi yang diperiksa mesin tidak otomatis membuat argumen mudah dipahami manusia, tidak dengan sendirinya memastikan setiap pilihan pemodelan tepat menangkap klaim informal yang dimaksud, dan tidak menjawab pertanyaan tentang signifikansi maupun penjelasannya.

Kelompok penasihat OpenAI tidak mengubah pembagian peran mendasar itu. Mereka dapat memberi saran tentang cara sebuah hasil dinilai dan dikomunikasikan; para matematikawan independen tetap perlu memeriksa manuskrip, artefak formal, asumsi, serta hubungan antara teorema yang dinyatakan dan persoalan asalnya. 332

Pembentukan panel ini juga tidak otomatis menyelesaikan sengketa atribusi terkait Buckmaster. Penyelesaian yang kredibel memerlukan proses berbasis bukti yang menelaah kronologi, kontribusi, akses, dan kredit akademik—bukan sekadar rekomendasi dari badan penasihat. 1

Uji sesungguhnya: klaim 100+ hasil tambahan

OpenAI menyatakan model internalnya telah menyelesaikan lebih dari 100 persoalan matematika terbuka tambahan. Kelompok penasihat ini diharapkan membantu pelepasan hasil-hasil tersebut secara bertanggung jawab. 3633

Panel dapat meningkatkan kredibilitas proses itu dengan mendorong urutan rilis yang memungkinkan pemeriksaan independen sungguhan:

1. Nyatakan setiap persoalan dengan presisi. Daftar publik harus membedakan teorema yang sudah mapan, solusi yang diklaim, perluasan hasil, dan temuan terkait.
2. Rilis bukti yang terbaca manusia sekaligus dapat diperiksa mesin. Bukti untuk manusia menerangkan mengapa hasil itu penting; artefak formal memungkinkan pihak lain mengulangi verifikasi mekanis.
3. Sediakan penelaahan khusus bidang. Hasil dalam dinamika fluida, aljabar, geometri, atau logika harus diperiksa peneliti yang benar-benar bekerja di bidang tersebut, bukan hanya panel penasihat umum.
4. Dokumentasikan asal-usul dan kontribusi. Catatan yang jelas sangat penting bila prioritas, akses ke model, atau penggunaan karya sebelumnya yang belum dipublikasikan dipersengketakan.
5. Pisahkan penemuan dari validasi. Sistem AI mungkin menghasilkan bukti yang menjanjikan, tetapi penerimaan komunitas bergantung pada pemeriksaan terbuka dan komunikasi ilmiah yang dapat bertahan lama.

Dengan demikian, panel baru ini adalah eksperimen tata kelola yang bermakna, tetapi belum menjadi jawaban final atas kontroversi tersebut. Nilainya akan terlihat dari apakah nasihatnya benar-benar dipublikasikan, apakah OpenAI menyediakan cukup bukti bagi matematikawan luar untuk memverifikasi klaim, dan apakah perilisan berikutnya memberi peninjauan serta atribusi bobot yang setara dengan pengumumannya sendiri.