OpenAI 3 Hasil Lagi Membutuhkan Alur Publikasi

Di antara pembukti teorema dan siaran pers, OpenAI telah menciptakan artefak yang paling tidak disukai dunia akademik: lebih banyak pekerjaan rumah. Mike Pearl dari Gizmodo melaporkan bahwa OpenAI sedang menggembar-gemborkan 3 hasil matematika dan sains lagi sambil menyerahkan pekerjaannya kepada para ahli pembimbing untuk diselesaikan. Itu terdengar seperti meriam konfeti kemenangan, sampai kamu memperhatikan mesin sebenarnya yang sedang diuji. Kisah sebenarnya bukan hanya penemuan AI, melainkan jalur publikasi yang dibutuhkan ketika sebuah model menyerahkan sesuatu kepada peneliti yang mungkin merupakan pengetahuan, atau mungkin Sudoku yang sangat mahal.

Klaim ilmiah tidak menjadi sains hanya karena sebuah model mengeluarkannya dengan sikap percaya diri dan tipografi yang rapi. Klaim itu menjadi sains ketika para ahli dapat memeriksa penalarannya, memformalkan apa yang bisa diformalkan, berdebat di ruang publik, dan menerbitkan karya yang bertahan dari pemeriksaan para ahli lain. OpenAI tampaknya memahami setidaknya sebagian dari hal itu, yang terasa menggembirakan seperti robot lab yang sedang memegang alat pemadam api. Namun, hambatannya tidak lagi hanya pada pembuatan. Hambatannya adalah konversi.

Klaim bukanlah makalah

Posting OpenAI, Working with academic communities to build scientific understanding, mengatakan bahwa perusahaan tersebut mengumumkan tiga penemuan dalam matematika, ilmu komputer, dan fisika, yang mencakup analisis harmonik, teori kompleksitas, dan teori medan kuantum. Yang penting, OpenAI juga mengatakan bahwa manuskrip-manuskrip tersebut paling baik diperlakukan sebagai “data penelitian mentah,” yang merupakan kalimat paling tidak khas Silicon Valley dan karena itu mungkin justru yang paling berguna. Menurut OpenAI, proses rilisnya masih berkembang sebagai respons terhadap masukan akademik, dan perusahaan tersebut meminta para ahli eksternal untuk mengorganisasi kelompok yang dapat memahami hasil-hasil baru itu. Terjemahannya: model menghasilkan tumpukan bagian-bagian, dan sekarang manusia harus mencari tahu apakah itu jembatan atau pemanggang roti bergelar profesor tetap.

@title Dari keluaran ke pekerjaan publikasi
@source Working with academic communities to build scientific understanding

  AI manuscripts
     │
     ▼
  External experts
     │
     ├─ Math result ····· AI output
     ├─ Computer science · GitHub
     └─ Physics artifacts · hold off

@caption OpenAI menjelaskan jalur rilis yang berbeda untuk tiga keluaran penelitian yang dihasilkan AI.

Alur kerja itu lebih menarik daripada sekadar pamer peringkat lagi karena ia memperlihatkan lapisan yang hilang dalam penelitian berbantuan AI. Kita punya alat untuk menghasilkan teks, kode, pembuktian, dan formalisasi, tetapi proses bersama untuk memutuskan kapan penelitian yang dihasilkan model menjadi pengetahuan komunitas masih relatif sedikit. Model pembimbing tidak glamor, tetapi begitu juga tinjauan sejawat, dan tinjauan sejawat sudah cukup lama menjaga kekacauan akademik tetap mendidih pelan, bukan meledak menjadi sup penuh.

Tiga bidang, tiga katup pelepas

Posting OpenAI sendiri mengatakan bahwa tiga kolaborasi tersebut ditangani secara berbeda. Untuk hasil matematika, OpenAI mengatakan akan merilis keluaran AI dan membiarkan para peneliti mengorganisasi upaya mereka sendiri untuk menjelaskannya. Untuk kolaborasi ilmu komputer, OpenAI mengatakan kelompok tersebut memilih untuk langsung membuat pembuktian bahasa alami dan formalisasi Lean tersedia untuk publik, dengan publikasi ke GitHub. Untuk kolaborasi fisika, OpenAI mengatakan kelompok tersebut memutuskan untuk menunda perilisan artefak yang dihasilkan AI sambil menuliskan karya itu sendiri.

Quartz melaporkan hasil yang diklaim itu dalam bentuk yang lebih tajam: OpenAI mengatakan modelnya membuktikan konjektur pemulusan lokal di setiap dimensi, membantah Exponential Time Hypothesis, dan menghasilkan bukti keberadaan yang ketat secara matematis untuk kromodinamika kuantum. Quartz juga melaporkan bahwa kelompok yang dipimpin oleh Russell Impagliazzo dan Ramamohan Paturi dari UC San Diego serta Ryan Williams dari MIT akan memverifikasi dan membimbing karya ilmu komputer tersebut. Jika itu terdengar seperti menyerahkan benda yang mencurigakan karena terlalu berkilau kepada orang-orang yang tahu di mana semua sisi tajamnya berada, ya, memang itulah intinya. Jalur publikasi sedang menjadi bagian dari hasil, bukan sekadar catatan sopan yang disematkan ke PDF belakangan.

Gizmodo melihat bagian yang tidak nyaman

Laporan Gizmodo berguna karena tidak berhenti pada kembang apinya. Laporan itu mencatat bahwa OpenAI menginginkan para ahli luar, sering kali akademisi yang karya sebelumnya menjadi dasar yang dibangun oleh model-model tersebut, untuk membantu mengubah keluaran model menjadi pengetahuan manusia. Gizmodo juga menyoroti pengakuan OpenAI bahwa memilih pembimbing pertama menciptakan “asimetri informasi.” Itu frasa kecil dengan siku akademik yang besar.

Inilah masalah tata kelola yang bersembunyi di dalam masalah penelitian. Jika sebuah perusahaan mengendalikan keluaran mentah, memilih para ahli awal, dan mengatur apa yang dirilis serta kapan, perusahaan itu tidak sekadar mengumumkan sains. Ia membentuk siapa yang melihat teka-teki lebih dulu, siapa yang bisa menentukan interpretasinya, dan seberapa cepat komunitas yang lebih luas dapat memeriksa karya tersebut. Itu tidak membuat upayanya menjadi tidak sah. Itu berarti prosesnya membutuhkan norma sebelum semua orang mulai melakukan speedrun umpan Nobel dengan repositori GitHub dan modal perasaan saja.

Apa yang harus dipelajari para pembangun dari ini

Posting OpenAI membingkai rilis ini sebagai eksperimen dengan komunitas akademik, bukan standar publikasi yang sudah final. Perbedaan itu penting bagi siapa pun yang membangun alat penelitian AI, sistem lab agentik, atau jalur pembuktian formal. Produk yang berguna bukan hanya model yang dapat menyarankan sebuah pembuktian. Produk itu adalah sistem yang dapat menjaga asal-usul, memperlihatkan artefak perantara, mendukung verifikasi independen, dan memperjelas apa yang telah diperiksa oleh siapa.

Bagi para peneliti, hal yang perlu diamati adalah apakah tiga rute ini menyatu menjadi praktik yang dapat digunakan kembali. Artefak Lean publik adalah salah satu bentuk keterperiksaan. Materi fisika yang ditunda mungkin dapat dibenarkan oleh kompleksitas penulisan, tetapi komunitas tetap akan membutuhkan visibilitas yang cukup untuk mengevaluasi klaim tersebut. Bagi para pembangun, tugasnya jelas: berhentilah memperlakukan keluaran ilmiah sebagai akhir dari alur kerja. Model mungkin menulis draf pertama penemuan, tetapi manusia masih mengoperasikan meja bea cukai tempat pengetahuan mendapatkan cap paspornya.