Deklarasi ini mengenal pasti lima bahaya berbeza yang saling berkaitan, setiap satunya menyerang nilai asas amalan matematik.
1. Pembuktian yang Tidak Boleh Dipercayai dan Disahkan
Matematik dibina di atas bukti yang boleh disahkan secara bebas dan difahami dengan mendalam. Walau bagaimanapun, sistem AI menghasilkan hujah yang kelihatan munasabah tetapi boleh mengandungi ralat yang hampir tidak kelihatan—pembuktian palsu yang sukar dikesan oleh manusia . Masalah ini tidak terhad kepada penjanaan teks tidak formal; ia juga muncul dalam sistem pembuktian formal apabila logik asasnya dikaburkan
.
2. Keruntuhan Atribusi dan Pelanggaran Hak Cipta yang Berleluasa
Model AI dilatih menggunakan karya terbitan manusia tanpa kebenaran dan sering gagal memetik sumber. Hasilnya adalah kerosakan sistemik terhadap sistem kredit, menjadikannya mustahil untuk mengesan keturunan intelektual atau memberi ganjaran kepada pemikir asal. Deklarasi ini menegaskan bahawa penulis mesti secara proaktif mencari pendahuluan dan, bila mana atribusi penuh tidak mungkin dilakukan, nyatakan batasan itu secara eksplisit .
3. Sistem Dua Lapis Kebergantungan dan Ketidaksamaan
Apabila penyelidikan termaju terikat dengan model proprietari dan kuasa pengkomputeran yang mahal, matematik menghadapi masa depan di mana hanya makmal yang dibiayai dengan baik boleh bersaing. Ini mewujudkan ketidaksamaan struktur yang menjejaskan sifat terbuka dan meritokratik bidang ini secara tradisinya .
4. Gembar-gembur Berlebihan yang Menyesatkan Penggubalan Dasar
Syarikat teknologi, didorong oleh insentif komersial yang kuat, melebih-lebihkan keupayaan matematik alat mereka . Mereka mengumumkan hasil mengikut garis masa pasaran melalui siaran akhbar, bukan melalui sains yang disemak rakan sejawat, dan menggunakan prestasi pada penanda aras matematik sebagai proksi pemasaran untuk kecerdasan am—dakwaan yang ditolak mentah-mentah oleh deklarasi ini
. Penulis menggesa kerajaan untuk mendapatkan penilaian pakar, bukan kenyataan perhubungan awam (PR), semasa menggubal dasar sains
.
5. Kehilangan Autonomi Penyelidikan
Apabila kepentingan korporat dan kebolehlaksanaan teknikal menentukan apa yang dikaji, matematik berisiko kehilangan kawalan terhadap agendanya sendiri. Keutamaan penyelidikan beralih ke arah pulangan komersial jangka pendek dan bukannya inkuiri mendalam yang didorong oleh rasa ingin tahu, mengancam kesihatan jangka panjang disiplin ini .
Daripada hanya mendiagnosis masalah, Deklarasi Leiden menetapkan norma khusus yang boleh diambil tindakan untuk empat kumpulan utama .
Penyelidik Individu mesti:
Institusi, Jurnal, dan Pembiaya mesti:
Kerajaan mesti:
Industri mesti:
Deklarasi Leiden bukan sekadar mengenai matematik. Penulisnya membingkaikan perjuangan ini sebagai petanda awal untuk dasar sains di mana-mana sahaja. Mereka berhujah bahawa sistem AI yang sama yang menghasilkan bukti tidak boleh dipercayai juga boleh dijadikan senjata untuk peperangan dan pengawasan massa, dan menggesa ahli matematik untuk menilai kerja mereka secara beretika malah menarik diri daripada projek yang memudaratkan .
Amaran yang lebih mendalam adalah bersifat epistemologi: apabila garis masa komersial menggantikan semakan rakan sejawat, dan apabila gembar-gembur korporat menenggelamkan amaran pakar, pemahaman awam tentang apa yang membentuk kebenaran saintifik menjadi terpesong . Matematik—bidang yang telah lama berbangga dengan piawaian jelas yang abadi—kini berada di barisan hadapan dalam perjuangan yang lebih besar itu.
Hampir setiap syor dalam deklarasi berkisar pada satu prinsip tunggal: ketelusan. Tanpa mengetahui bila dan bagaimana AI digunakan, komuniti saintifik tidak dapat mengesahkan hasil, memberikan kredit, atau mempertahankan piawaiannya sendiri. Dengan lebih 130 penandatangan semasa pelancaran dan sokongan institusi daripada badan seperti Kesatuan Matematik Antarabangsa (International Mathematical Union), Deklarasi Leiden telah menjadi lebih daripada sekadar kenyataan: ia adalah draf kerja bagi norma yang dipercayai oleh ahli matematik diperlukan oleh era AI .
Comments
0 comments