Saat AI Membuat Kemajuan dalam Matematika, Para Ahli Matematika Mendesak Kehati-hatian
Baru-baru ini terdapat tanda-tanda bahwa beberapa cabang matematika tingkat tinggi, yang merupakan bidang pencapaian manusia yang paling langka, rentan terhadap perubahan yang disebabkan oleh kecerdasan buatan. Pada hari Selasa, sekelompok 16 ahli matematika, dalam konsultasi dengan rekan-rekan dan organisasi matematika di seluruh dunia, menerbitkan Deklarasi Leiden tentang Kecerdasan Buatan dan Matematika. Hal ini bertujuan untuk “membingkai percakapan tentang arah masa depan,” kata Dame Ursula Martin, salah satu penulis, dan ahli matematika dan ilmuwan komputer di Oxford. Upaya ini dilakukan ketika model AI menjadi berita utama dengan hasil yang sukses dalam matematika tingkat penelitian. Pada akhir Mei, OpenAI, pembuat ChatGPT, mengumumkan bahwa salah satu modelnya telah menyangkal dugaan matematika berusia 80 tahun yang terkenal di bidang geometri kombinatorial. Dugaan tersebut adalah salah satu dari sekitar 1.200 soal yang diajukan oleh ahli matematika Hongaria Paul Erdos. Meskipun beberapa dari “masalah Erdos” ini hanya dianggap sebagai pertanyaan yang hanya bersifat kepentingan sempit, namun ada juga yang terbukti berpengaruh dan menentukan arah. Bersamaan dengan makalah penelitian yang menjelaskan buktinya, OpenAI merilis makalah pendamping yang ditulis oleh beberapa ahli matematika independen. Jacob Tsimerman dari Universitas Toronto, seorang ahli dalam subbidang teori bilangan, berkomentar: “Ini adalah karya yang sangat mengesankan, dan saya akan menerimanya untuk jurnal mana pun tanpa ragu-ragu.” Tokoh-tokoh lain dalam bidang ini kurang optimis. Melanie Matchett Wood, ahli matematika Harvard, sangat antusias namun menyampaikan kekhawatiran. Misalnya, dia berkomentar bahwa makalah OpenAI tidak secara tepat merujuk pada “sejarah ide-ide yang berkaitan erat dalam literatur.” “Ini adalah alat yang ampuh, dan saya pikir ini akan menjadi alat yang hebat untuk mempercepat penelitian matematika,” kata Dr. Matchett Wood dalam sebuah wawancara. Namun dia mencatat bahwa masyarakat perlu mencari cara untuk menggunakan AI “dengan cara yang dapat menjaga pemahaman manusia terhadap matematika.” Salah satu potensi ancaman yang diutarakan oleh para penulis Deklarasi Leiden adalah keakuratan dan keandalan: Para editor jurnal sudah mengeluh tentang membanjirnya makalah-makalah yang tampaknya dibuat oleh AI dan bukti-bukti yang tampaknya tidak benar, dan dengan cara yang sulit dipahami oleh para ahli matematika. Mungkin yang paling tajam, para penulis mengajukan pertanyaan apakah banyak perusahaan AI yang menangani matematika — pemain besar seperti OpenAI, Google DeepMind dan Anthropic, atau perusahaan rintisan seperti Harmonic, Math, Inc. dan Axiom Math — selalu mempertimbangkan kepentingan terbaik di bidang ini. “Keterlibatan perusahaan teknologi dalam penelitian,” tulis mereka, “meningkatkan risiko bahwa pertanyaan penelitian diprioritaskan dan diberi insentif karena mereka dapat menerima metode dan model AI, dibandingkan signifikansinya terhadap pemahaman.” Mereka menyatakan bahwa hal ini merugikan para peneliti yang memilih untuk tidak menggunakan teknologi tersebut, dan mereka yang tidak memiliki akses terhadap teknologi tersebut. Bagi Rodrigo Ochigame, seorang sejarawan dan antropolog komputasi dan kecerdasan buatan di Universitas Leiden di Belanda, dan salah satu penulis pernyataan tersebut, bukti OpenAI terbaru menggambarkan mengapa perhitungan kolektif semacam ini dalam disiplin ilmu ini diperlukan. “Ceritanya mengikuti pola yang sama dengan banyak pengumuman lainnya yang dibuat oleh pengembang AI komersial,” kata Dr. Ochigame. “Model AI adalah hak milik dan tidak tersedia bagi siapa pun di luar perusahaan. Kami mendapatkan video promosi yang mencolok, sementara informasi dasar yang diperlukan untuk menilai makna ilmiah dari hasil tersebut dirahasiakan. Perusahaan tidak mengungkapkan apa pun tentang metode, perintah yang ditulis manusia, data pelatihan, atau sumber daya komputasi yang dikonsumsi.” Percakapan berikut – dilakukan melalui konferensi video dan email dengan Dr. Ochigame, Dr. kelompok kerja deklarasi — telah diedit dan diringkas agar lebih jelas. Apa itu Deklarasi Leiden? MARTIN Ini adalah sebuah provokasi, sebuah stimulus untuk perdebatan. Semakin banyak pemberitaan di media mengenai pencapaian matematika AI, dan banyak ahli matematika merasa tidak nyaman. Apa yang telah dilakukan OpenAI adalah mengerahkan banyak sumber daya untuk menemukan contoh tandingan terhadap dugaan khusus ini. Ini luar biasa dan membuat para ahli terkesan. Kita tidak diberitahu tentang kegagalan model tersebut. Jika Anda mengerahkan banyak upaya manusia untuk mengatasi masalah ini, kemungkinan besar Anda akan menyelesaikannya dengan cara yang sama. Namun dalam matematika, upaya manusia sangatlah sedikit, dan cenderung dihabiskan untuk hal-hal yang berbeda. Memikirkan matematika dalam bentuk soal-soal yang dinyatakan dengan tepat dan rapi, seperti ujian sekolah menengah atau daftar soal Erdos, berarti salah memahami dan meremehkan apa yang membuat matematika begitu kuat dan signifikan. Matematika bukan hanya tentang pemecahan masalah — matematika juga merupakan penanaman ide, pemahaman, penilaian, dan wawasan manusia. HARRIS Tujuannya, dari sudut pandang saya, adalah untuk memulihkan kendali atas narasi tentang nilai-nilai dan tujuan matematika dari industri AI. Para ahli matematika khawatir bahwa nilai-nilai profesi disalahartikan, bukan secara sengaja melainkan karena kampanye media dari pihak industri, yang tampaknya ingin mempromosikan keyakinan bahwa mereka berada dalam posisi untuk mentransformasikan matematika — “revolusi AI dalam matematika”, seperti yang diberitakan dalam salah satu berita utama belum lama ini. Jika orang-orang yang membuat keputusan mengenai pendanaan mendasarkan keputusan mereka hanya pada apa yang diberitakan di sebagian besar artikel di media, mereka akan dengan mudah mendapat kesan bahwa AI adalah tempat di mana masa depan matematika berada. Kami ingin menegaskan hal-hal tertentu nilai-nilai yang menjadi ciri profesi ini: keterbukaan, kejujuran, memberi penghargaan ketika kredit memang seharusnya diberikan, berbagi, transparansi mengenai metodologi, dan akses terhadap verifikasi hasil yang independen. Salah satu aspek matematika yang diapresiasi oleh para ahli matematika adalah bahwa matematika merupakan salah satu dari sedikit contoh sukses dari ekonomi hadiah — dengan kata lain, perekonomiannya merupakan sebuah pulau idealisme dalam masyarakat kita. Sebagai direktur studi pascasarjana di departemen matematika di Columbia, saya membaca pernyataan pribadi semua pelamar setiap tahun, beberapa ratus, dan mereka masih idealis.Industri teknologi berjalan sesuai dengan logika komersial, yang bertentangan dengan nilai-nilai matematika.OCHIGAME Beberapa perusahaan AI berinvestasi dalam tim khusus yang berfokus pada matematika, menggunakan masalah sebagai tolok ukur, dan publikasi sebagai data pelatihan. Mereka melatih model mereka untuk membuktikan teorema bukan karena mereka ingin meningkatkan pengetahuan matematika, namun karena mereka berharap bahwa pelatihan tersebut akan meningkatkan kemampuan penalaran model secara lebih umum. Perusahaan-perusahaan tersebut telah berulang kali mengartikulasikan strategi ini dalam penawaran kepada investor, jadi mungkin bukan suatu kebetulan bahwa pengumuman OpenAI tentang dugaan jarak satuan keluar pada hari yang sama ketika tersiar kabar bahwa perusahaan sedang bersiap untuk mengajukan IPO. Situasi ini telah menempatkan para ahli matematika dalam posisi etis yang meresahkan. Tanpa persetujuan mereka, karya mereka yang dipublikasikan digunakan sebagai data pelatihan strategis untuk pengembangan AI untuk keperluan umum. Model yang dihasilkan dikomersialkan untuk berbagai tujuan, termasuk aplikasi militer, yang menimbulkan masalah etika yang serius. Kebanyakan ahli matematika tidak pernah membayangkan, apalagi menyetujui, bahwa karya mereka akan digunakan untuk tujuan tersebut. MARTIN Penting untuk tidak melupakan fakta bahwa apa yang dilakukan perusahaan AI, apa yang dapat Anda capai dengan teknologi ini, sungguh luar biasa. Saya tidak berpikir kita menantang hal itu. Kami menantang pembingkaian, kami menantang perilaku di sekitarnya. OCHIGAME Kelompok penulis terdiri dari banyak orang yang bersemangat dengan potensi hasil matematika baru, dan orang-orang yang bahkan berkontribusi terhadap pengembangan teknologi. Namun wacana publik sangat condong ke arah kampanye PR yang sangat efektif dari perusahaan AI dan narasi yang mereka dorong. Kami merasa berkewajiban untuk menyuarakan keprihatinan kritis ini. Namun kami tentu memahami antusiasme tersebut. HARRIS Saya ingin menambahkan bahwa banyak antusiasme dan kegembiraan yang dihasilkan secara artifisial oleh korporasi. Deklarasi tersebut memperingatkan hal tersebut: “Jangan percaya pada hype.” Penting bagi komunitas matematika untuk mengambil keputusan akhir mengenai apa yang secara matematis menarik dan apa yang tidak menarik. Apakah Anda khawatir bahwa deklarasi tersebut akan terlihat seperti para ahli matematika yang sedang melakukan upaya yang sia-sia — berputar-putar demi menyelamatkan sebuah profesi kuno yang terancam oleh keusangan AI? HARRIS Bergantung pada bagaimana ceritanya dilaporkan, para pendukung industri cenderung membingkainya dengan cara ini, namun kerangka seperti itu memusuhi matematika sebagai sebuah pencapaian intelektual dan bukan sekedar untuk matematikawan.MARTIN Ini bukan salah satu/atau tetapi keduanya/dan. Karya abadi para ahli matematika selama berabad-abad mendasari setiap aspek sains, kehidupan, dan masyarakat modern. Para penulis deklarasi tersebut, bersama dengan organisasi matematika dunia, berkomitmen untuk memastikan bahwa matematika terus berkembang melalui ketelitian intelektual dan penerapan praktis. Kami menyambut perusahaan AI sebagai mitra yang bertanggung jawab dalam semangat deklarasi ini. OCHIGAME Matematika adalah bentuk ekspresi budaya yang kaya dengan sejarah kuno, dan saya tidak khawatir bahwa teknologi apa pun akan menjadikannya ketinggalan jaman. Aspek-aspeknya yang paling berharga, seperti pencarian kolektif untuk memahami ide-ide indah yang rumit, dan menjelajahi batas-batas imajinasi manusia, tidak akan pernah bisa diotomatisasi. Apa yang saya khawatirkan adalah bahwa segelintir perusahaan memobilisasi sumber daya keuangan mereka yang besar untuk memaksakan pandangan miskin terhadap matematika dengan begitu kuatnya – pada saat penelitian ilmiah sudah mendapat serangan politik – sehingga mereka mungkin akan menghancurkan institusi sosial yang memungkinkan matematika berkembang. Apa gunanya menolak hal itu?
Diterbitkan : 2026-06-02 10:00:00
sumber : www.nytimes.com
