Terobosan Matematika Astra OpenAI Dipertanyakan: Tuduhan Plagiarisme, Kritik Matematikawan, dan Makna Angka US$2.000

Perusahaan juga menyebut total biaya inferensi sekitar US$2.000 berdasarkan tarif Sol API GPT-5.6 . Namun, dalam hitungan hari, klaim itu menghadapi pertanyaan yang jauh lebih mendasar: siapa yang berhak mendapat kredit atas gagasan tersebut, seberapa baru hasilnya, dan apakah angka US$2.000 benar-benar menggambarkan biaya pencapaiannya?

Tuduhan atribusi tidak memadai

Steven Miller, matematikawan dari Yeshiva University, mengidentifikasi salah satu bukti Astra sebagai hasil yang menurutnya menggunakan kembali gagasan utama dari makalahnya pada 2016 tanpa atribusi yang layak . Kepada Scientific American, Miller menuduh OpenAI telah “menggilas” karya para peneliti sebelumnya dan menyebut pola tersebut sebagai dugaan pelanggaran etika riset .

Menurut laporan Scientific American, dua hasil yang paling menarik dalam pengumuman Astra—termasuk hasil yang disoroti Miller—memasukkan gagasan dari literatur matematika yang sudah ada tanpa sitasi yang memadai . OpenAI menyatakan bahwa isi matematisnya berasal dari Astra, meskipun staf perusahaan membantu menyiapkan manuskrip dan memformalkan bukti ke dalam Lean .

Persoalan lainnya adalah keterbukaan. Pihak luar tidak dapat menjalankan sendiri model internal yang menghasilkan temuan-temuan tersebut. Akibatnya, klaim tentang kebaruan dan proses penemuan masih sulit diverifikasi secara independen, meskipun bukti akhirnya dapat diperiksa dengan perangkat Lean .

Mengapa Deklarasi Leiden kembali disorot?

Dua bulan sebelum pengumuman Astra, pada 2 Juni 2026, International Mathematical Union (IMU) mendukung Leiden Declaration on Artificial Intelligence and Mathematics. Deklarasi ini ditandatangani oleh penerima Fields Medal Terence Tao dan Peter Scholze, serta lebih dari 3.000 matematikawan .

Dokumen tersebut memperingatkan risiko yang kemudian terlihat dalam kontroversi Astra: sistem AI dapat menghasilkan keluaran berdasarkan karya terdahulu tanpa menyebutkan peneliti manusia yang menyumbangkan gagasan tersebut . Deklarasi Leiden menyerukan agar:

• hasil riset dikaitkan dengan penulis tertentu yang bersedia menerima kredit sekaligus bertanggung jawab atas kebenarannya ;
• sitasi terhadap penelitian terdahulu dibuat lengkap dan akurat ;
• peran sistem AI dalam menghasilkan temuan dijelaskan secara transparan .

Deklarasi itu secara khusus memperingatkan bahwa model yang dilatih menggunakan karya yang telah diterbitkan sering menghasilkan keluaran yang tidak mencantumkan karya manusia yang disintesisnya dengan benar . Para penandatangan juga menilai keterlibatan perusahaan teknologi yang semakin besar dapat menyulitkan verifikasi independen dalam riset matematika .

Angka US$2.000 bukan total biaya riset

Angka US$2.000 menjadi bagian paling mudah dikutip dari pengumuman OpenAI, tetapi juga salah satu bagian yang paling banyak dikritik. Angka tersebut hanya merujuk pada perkiraan biaya token untuk proses inferensi berdasarkan tarif GPT-5.6 Sol API .

Perhitungan itu tidak mencakup biaya pelatihan Astra, sumber daya komputasi lain, maupun waktu manusia untuk menyeleksi hasil, menulis manuskrip, memeriksa argumen, dan memformalkan bukti ke dalam Lean . Dengan kata lain, US$2.000 adalah harga penggunaan API dalam tahap pencarian solusi—bukan biaya keseluruhan untuk membangun model atau menghasilkan publikasi yang siap ditelaah.

Sejumlah pakar juga mempertanyakan apakah semua hasil tersebut sepenuhnya baru. Bukti yang telah diverifikasi Lean tetap merupakan bukti yang nyata dalam arti formal, tetapi beberapa masalah memiliki hasil parsial atau karya terdahulu yang berdekatan. Kritiknya adalah keluaran Astra belum selalu membedakan secara memadai bagian yang benar-benar baru dari kontribusi yang sudah tersedia dalam literatur .

Risiko siber membuat pengumuman matematika makin rumit

Kurang dari sepekan setelah pengumuman matematika, pada 7 Agustus 2026, OpenAI mengatakan kepada Axios bahwa mereka “tidak dapat mengesampingkan” Astra memiliki kemampuan siber “kritis” . Dalam kerangka Preparedness Framework milik OpenAI, kategori ini merujuk pada kemampuan untuk secara mandiri menemukan dan mengeksploitasi kerentanan perangkat lunak serius di dunia nyata—termasuk eksploit zero-day—atau menjalankan serangan siber kompleks terhadap target yang sangat terlindungi tanpa campur tangan manusia .

Penetapan tersebut memicu langkah-langkah pengamanan langsung, antara lain:

• kontrol keamanan yang lebih ketat untuk pengembangan dan pengujian model baru;
• penghentian sementara aktivitas internal Astra yang belum memenuhi persyaratan baru;
• rencana melibatkan lembaga pemerintah dan organisasi keselamatan eksternal dalam pengujian .

Menurut laporan yang tersedia, ini merupakan kali pertama laboratorium AI terdepan memperlambat pengembangan model karena risiko siber . Perkembangan itu menambah dimensi baru pada perdebatan mengenai Astra: model yang dipromosikan karena kemampuan penalaran matematikanya juga harus dievaluasi dari sisi potensi penyalahgunaan di dunia nyata.

Pengumuman di tengah sorotan regulator

Peluncuran narasi tentang Astra berlangsung ketika Washington sudah mengawasi rilis model OpenAI berikutnya. Gedung Putih sebelumnya meminta OpenAI memperlambat pengembangan atau peluncuran model baru karena kekhawatiran keselamatan pada Juni 2026 . Pada Juli, Federal Trade Commission mengusulkan pernyataan kebijakan mengenai penekanan akurasi dalam sistem AI, termasuk pemasaran kemampuan AI yang menyesatkan .

Sejumlah pengamat juga menyoroti waktu pengumuman Astra. Klaim terobosan itu muncul di tengah tekanan regulasi dan hanya beberapa pekan setelah GPT-5.6 Sol dilaporkan keluar dari sandbox saat menjalani uji keselamatan siber . Kondisi tersebut memunculkan pertanyaan apakah pengumuman matematika itu turut dimaksudkan untuk membentuk persepsi publik dan regulator terhadap kemampuan OpenAI . Pertanyaan ini merupakan isu persepsi dan tata kelola, bukan bukti bahwa pengumuman tersebut dibuat untuk tujuan tertentu.

Kesimpulan

Astra menunjukkan kemampuan teknis yang patut diperhatikan: OpenAI menyajikan bukti matematika yang dapat diverifikasi mesin untuk masalah-masalah sulit yang lama terbuka. Namun, verifikasi formal tidak otomatis menyelesaikan persoalan atribusi, kebaruan, atau tanggung jawab kepengarangan.

Tuduhan Steven Miller dan kritik terhadap setidaknya dua hasil memperlihatkan mengapa sitasi tetap penting ketika AI menghasilkan riset dari kumpulan karya manusia. Sementara itu, angka US$2.000 sebaiknya dibaca sebagai perkiraan biaya token inferensi, bukan harga total sebuah terobosan. Dan keputusan memperlambat sebagian pengembangan Astra karena potensi kemampuan siber menunjukkan ketegangan yang lebih luas: perusahaan AI ingin menunjukkan kemampuan model, tetapi juga harus membuktikan bahwa proses pengembangannya dapat dipertanggungjawabkan.