Dua puluh lima ahli matematika terkemuka menandatangani surat terbuka yang menyatakan bahwa laboratorium kecerdasan buatan (AI) mengancam karya intelektual mereka karena saling berlomba-lomba menawarkan solusi untuk soal-soal matematika terkenal. Setiap penandatangan telah dianugerahi Medali Fields, yang dianggap sebagai penghargaan paling bergengsi di bidang matematika.
Menurut techcrunch.com, minggu ini, Profesor NYU Tristan Buckmaster menuduh OpenAI menekannya agar tidak mencantumkan nama seorang kolaborator yang bekerja di Anthropic sebagai kontributor dalam pemecahan masalah matematika penting tersebut, dan mempertanyakan apakah perusahaan tersebut telah memanfaatkan hasil kerja mereka dengan Codex untuk menghasilkan bukti terobosan sendiri selama akhir pekan maraton inferensi.
Pada hari Kamis, OpenAI menarik dukungannya terhadap sebuah acara matematika di CalTech setelah perusahaan tersebut dikritik oleh para peneliti di universitas tersebut.
Meskipun kemampuan model AI untuk memecahkan tantangan matematika yang belum terpecahkan di dunia dapat menjadi berkah bagi umat manusia, para penandatangan surat baru ini berpendapat bahwa hal itu hanya akan terjadi jika solusi-solusi tersebut dapat dipahami dan dikomunikasikan oleh komunitas matematika dan, pada akhirnya, seluruh dunia.
“Seringkali solusi-solusi ini diumumkan secara terburu-buru, sehingga tidak ada waktu untuk menyusun laporan yang layak, mengidentifikasi metode dan ide baru, serta mengutip karya-karya relevan orang lain sebelumnya,” tulis mereka. Dan bukti yang diajukan OpenAI masih belum terverifikasi. “Seperti halnya dalam semua profesi kreatif, hal ini memunculkan pertanyaan serius terkait atribusi dan plagiarisme. Selain itu, tanpa para ahli matematika yang bersedia mengurus pengembangan dan integrasinya ke dalam kanon matematika, ide-ide yang dihasilkan AI tidak akan pernah benar-benar hidup, dan rantai transmisi manusia yang krusial di antara para ahli matematika akan hilang.”
Di tengah para ahli matematika lain yang mulai merasa paranoid dan bertanya-tanya apakah penggunaan Codex oleh mereka justru dimasukkan ke dalam model-model baru OpenAI, muncul kekhawatiran nyata bahwa budaya penelitian terbuka akan terancam. Saat ini, jika laboratorium-laboratorium terdepan melihat jalur yang berguna menuju suatu penemuan, mereka dapat menghabiskan puluhan juta dolar dengan menggunakan LLM untuk mengungguli para peneliti asli dalam menghasilkan bukti — sebuah dinamika yang akan mendorong praktik kerahasiaan.
Surat ini menyusul Deklarasi Leiden, yang dirilis oleh sebuah kelompok kerja matematikawan pada bulan Juni. Dokumen tersebut juga membahas bagaimana bukti berbasis LLM akan mengubah pekerjaan mereka dan menawarkan serangkaian rekomendasi bagi para matematikawan, lembaga, dan pembuat kebijakan.
Sama seperti dalam rekayasa perangkat lunak dan bidang lain di mana alat AI mengubah alur kerja, para matematikawan menemukan pembenaran dalam proses di balik pekerjaan itu sendiri: Nilai dalam matematika bukan hanya terletak pada bukti dan siapa yang mendapat pengakuan, tetapi pada struktur intelektual yang lebih luas yang memupuk para mahasiswa, menemukan pertanyaan dan ide baru, serta mengintegrasikannya ke dalam peradaban manusia yang lebih luas.
Dan jika Anda tidak terlalu peduli dengan dunia persaingan sengit dalam pembuktian matematika berisiko tinggi, jangan lupa: Bidang minat Anda akan menyusul.
“Masalah yang dihadapi komunitas matematika saat ini mirip dengan masalah yang dihadapi profesi ilmiah dan kreatif lainnya, dan menandakan masalah yang mungkin dihadapi seluruh umat manusia: bagaimana memastikan bahwa, seiring AI mengubah cara kerja, kita tidak kehilangan fokus pada tujuan awal dari pekerjaan tersebut,” tulis mereka.