Formal Tasdiqlashga Qarshi: 50 Yil O'tib
Formal tasdiqlash sohasi 50 yil o'tib qayta gullab-yashnayapti. AI kodlashning rivojlanishi bilan formal tasdiqlashning ahamiyati ortib bormoqda.

Anthropic kompaniyasi o'zining Claude modellarida 'watermark' texnologiyasini joriy etdi, bu texnologiya AI tomonidan generatsiya qilingan matnlarni belgilash imkonini beradi. Bu texnologiya Yevropa Ittifoqi qonuniga muvofiq qabul qilingan.
Bu texnologiya qanday ishlaydi? Anthropic dastlab bu haqida aniq tushuntirish bermagan edi. Lekin keyinroq ular bu texnologiya haqida tafsilotli ma'lumot bergan.
'Watermark' texnologiyasi steganografiya usulidan foydalanadi, ya'ni matn generatsiya qilish paytida so'zlar tanlanishi uchun maxsus algoritm ishlatiladi, bu algoritm matnga maxsus 'iz' qoldiradi.
Bu 'iz'ni faqat maxsus kalitga ega bo'lgan shaxslar topa oladilar. Boshqalarga bu 'iz' ya'ni qanday bo'lganligi ma'lum emas.
Bu texnologiya asosan so'zlar tanlanishiga asoslangan. So'zlar ikkita ro'yxatga bo'linadi: 'yashil' va 'qizil'. 'Yashil' ro'yxatdagi so'zlar tanlanish ehtimoli yuqori, 'qizil' ro'yxatdagi so'zlar tanlanish ehtimoli past.
So'zlar ro'yxatga bo'linishi generatsiya qilish paytida amalga oshiriladi. Shuning uchun, bir so'z bir paytda 'yashil' ro'yxatda, ikkinchi paytda 'qizil' ro'yxatda bo'lishi mumkin.
Bu texnologiya AI tomonidan generatsiya qilingan matnlarni belgilash imkonini beradi. Lekin, bu texnologiya matnning ma'nosini o'zgartirishi mumkin.
Texnologiya asosan katta hajmdagi matnlarni tahlil qilish uchun mo'ljallangan. Kichik hajmdagi matnlarni tahlil qilish uchun bu texnologiya kamroq samarali.
Bu texnologiya haqida ko'proq ma'lumot olish uchun Anthropic saytiga tashrif buyurishingiz mumkin.
Asl manba: daringfireball.net