ChatGPT murakkab masalani yechganda, lekin uning mantiqiy xulosasiga amal qila olmasangiz, bu noqulay tuyg'uni bilasizmi? Matematiklar ham shunga o'xshash narsani boshdan kechirishadi - faqat ilmiy ishonchlilikning poydevori xavf ostida. Yangi maqolada ... deb nomlangan. Sun'iy intellekt va matematika bo'yicha Leyden deklaratsiyasi, Matematik tadqiqotlarda sun'iy intellektning tez qo'llanilishi fanning asosiy qadriyatlari: qat'iy dalillar, shaffof mulohaza va insoniy tushunchani buzish bilan tahdid qilmoqda, deb ta'kidlanadi.
Ogohlantirish o'qining akademik ekvivalenti
O'n olti matematik konsensus hujjatini tayyorladi, uni hozirda dan ortiq kishi qo'llab-quvvatlamoqda 130 tadqiqotchi и Xalqaro matematika ittifoqi .
Bu bayonot sentyabr oyida Niderlandiyada bo'lib o'tgan seminar natijasi bo'lib, unda matematiklar to'liq kelishuvga erishgunga qadar har bir tafsilotni bir necha oy davomida sinab ko'rishdi. "Biz bunga qiyin yo'l bilan erishdik", deb tushuntiradi sun'iy intellektni o'rganuvchi va jarayonda ishtirok etgan antropolog Rodrigo Ochigame. Xalqaro matematika ittifoqining ma'qullashi shuni ko'rsatadiki, bu chetga surib qo'yilgan tashvish emas, balki asosiy matematik hamjamiyat tomonidan bildirilgan tashvishdir.
Qora quti muammosi sof matematikaga tegishli.
Sun'iy intellekt tizimlari endi odamlar uchun tekshirish yoki tushunish qiyin bo'lgan matematik isbotlarni yaratishi mumkin.
Aynan shu yerda vaziyat xavotirli tus oladi: ilg'or AI modellari mutaxassislar tomonidan tekshirish qiyin bo'lgan tobora murakkab matematik argumentlarni keltirib chiqarmoqda. Bajarilayotgan hisob-kitoblarni ko'rsatadigan kalkulyatordan farqli o'laroq, bu tizimlar biz to'liq tushunmaydigan ichki jarayonlarga asoslangan murakkab dalillarni ishlab chiqaradi. Toronto universitetidan Daniel Litt "asosan to'g'ri, ammo unchalik qiziqarli bo'lmagan" AI startaplarining "natijalarni e'lon qilishga shoshilishi" haqida ogohlantirmoqda - ammo ularning marketing strategiyasi buning aksini ko'rsatmoqda.
Atributsiya muammosi ancha chuqurroq. Sun'iy intellekt tizimlari quyidagilarga o'rgatilgan arXiv , matematiklar oldindan chop etilgan ma'lumotlarni baham ko'radigan va keyin aniq mualliflik huquqisiz natijalarni yaratadigan ochiq ombor. Bu xuddi hammaning uy vazifasini o'zlashtirgan, ammo g'oyalari qaerdan kelganini tushuntira olmaydigan ajoyib talabaga ega bo'lishga o'xshaydi.
Taklif etilayotgan chora-tadbirlar butun quvur liniyasiga qaratilgan.
Matematiklar sun'iy intellekt va korporativ vositalarga davlat tomonidan moliyalashtiriladigan alternativalarga oid majburiy shaffoflikni targ'ib qilmoqdalar.
Deklaratsiyada taklif qilingan yechimlar hayratlanarli darajada aniq:
-
Tadqiqotda sun'iy intellektdan foydalanish to'g'risidagi ma'lumotlarni majburiy ravishda oshkor qilish.
-
Sun'iy intellekt yordamida ishlarni qayta ishlashga qodir bo'lgan yanada qat'iy ko'rib chiqish tizimi.
-
Yirik texnologiya kompaniyalarining matematik kashfiyotlarga tobora ortib borayotgan ta'siriga qarshi turish uchun davlat hisoblash resurslariga investitsiyalar.
«"Matematika insoniyatning chuqur ishi bo'lib kelgan va shunday bo'lib qolishi kerak", deb yozgan O'IH vitse-prezidenti Ulrike Tillmann. Ushbu bayonot deklaratsiyaning markaziy qarama-qarshiligini aks ettiradi: inson tushunchasi va jamiyat ishonchini saqlab qolish bilan birga sun'iy intellekt kuchidan foydalanish.
Bu matematik luddizm emas — bu ilmiy aniqlik asoslari noaniq bo'lib qolganda, ularga asoslangan hamma narsa yanada noaniq bo'lib qolishini tan olishdir. Smartfoningizning shifrlanishi, GPS navigatsiyasi, zamonaviy moliyani boshqaradigan algoritmlar — barchasi matematik isbotlarga tayanadi. Agar matematiklar o'z sohalarining yaxlitligiga ishonmasalar, bu noaniqlik hamma narsaga singib ketadi.
Eng zo'r mashinalardan tortib, zarur gadjetlargacha, GadgetReview'ning kundalik axborot byulleteni sizni yangiliklardan xabardor qilib turadi. Obuna bo'ling — bu qiziqarli, tezkor va bepul.