Asosiy ma’lumotlar

  • FlashProve xulosa aniq bir modeldan olinganligining matematik kafolatini beradi — elektron poçta kriptografik imzolariga öxşaş.
  • Modellarning «barmoq izlari» ularning vaznlarini oşkor qilmaydi, şuning uçun tijoriy laboratoriyalar ularni e'lon qilişi mumkin.
  • Tizim oçiq tadqiqot loyihasi sifatida mavjud: Anthropic yoki boşqa laboratoriyalarda joriy etiş rejalari yöq.

Anthropic nimani taqdim etdi

Anthropic kompaniyasi qaysi sun'iy intellekt modeli ma'lum bir natijani berganligini tekşiriş imkonini beruvçi oçiq tizim ustida işlamoqda. Tizim FlashProve deb ataladi va u «provable inference» — ya'ni isbotlanadigan xulosa çiqariş sifatida tasvirlanadi: bu kriptografik isbot bölib, mohiyatan ma'lum bir javob aynan ma'lum bir model tomonidan olinganligining matematik kafolatidir. Bunga doir xabarni TechCrunch naşri 2026-yil 3-noyabr, seşanba kuni e'lon qilingan blog postiga tayanib yetkazdi.

Buning nima uçun kerakligi

Tamoyil quyidagiça soliştiriladi: elektron poçta xabarlarining kriptografik imzolari, undan foydalanib qabul qiluvçi xat haqiqatan ham körsatilgan yuboruvçidan kelganiga işonç hosil qiladi: FlashProve bir modelni boşqa model sifatida körsatişga urinişlarga — hatto modelni yaratgan va unga xizmat körsatayotgan laboratoriyaning özi bunday almaştirişni amalga oşirsa ham — qarşi turişi kerak. Tadqiqotçilar ta'kidlaşiça, bu tizim sun'iy intellekt kompaniyasining tejamkorlik maqsadida yaşirin ravişda arzonroq modelni qöyişi yoki aksinça, sifat körsatkiçlarini sun'iy ravişda oşiriş uçun qimmatroq modelni qöyişiga tösqinlik qilişi mumkin edi. Yana bir stsenariy — uçinçi şaxslarning bayonlarini tekşiriş: mualliflar yozişiça, dasturçi öz kutubxonasi kiberxavfsizlik sohasidagi yetakçi model tomonidan zaifliklar tekşirilganini, yoki kompaniya öz biznes-rejasi mos model tomonidan tasdiqlanganini da'vo qilişi mumkin; savol şundaki, foydalanuvçi buni qanday tekşirişi mumkinligi.

Bu qanday işlaydi

Tizim işlaşi uçun sun'iy intellekt laboratoriyalari har bir çiqarilgan modelning «barmoq izi»ni (fingerprint) e'lon qilişlari kerak, söngra bu iz aniq natijalar bilan soliştiriladi va kriptografik jihatdan tekşiriladi. Asosiy jihat: barmoq izlari modelning vaznlarini — uning xatti-harakatlarini belgilovçi va Anthropic hamda OpenAI kabi yopiq modellar yaratuvçilari sir saqlaydigan içki raqamlarni — oşkor qilmaydi. Bu laboratoriyalarga özining asosiy aktivini bermasdan barmoq izlarini e'lon qiliş imkonini beradi, demak, tizim tijoriy modellar bilan ham mos keladi. Işlab çiquvçilarning niyatiga köra, tekşiriş mahalliy qurilmada bajarilişi mumkin bölgandek yengil bölişi kerak.

Loyihaning holati

E'lon bilan birga tadqiqotçilar batafsil texnik spetsifikatsiyani va tizimning ayrim elementlarining işlaydigan kodini, u GitHub'da oçiq litsenziya ostidamavjud bölgan holda e'lon qildilar. Şu bilan birga, bu aynan tadqiqot loyihasi: FlashProve'ni Anthropic'da yoki boşqa biror laboratoriyada joriy etiş hozirça rejalaştirilmagan. «Bu tadqiqot postining maqsadi yakunlangan tadqiqot dasturi emas, balki oraliq yutuqlar bilan bölişişdir, — deb tuşuntiradi mualliflar. — Biz buni boşqalar biz qilgan işga qarab, uni olib, yanada yaxşilaşlari uçun oçiq maqsad bilan ulaşmoqdamiz». Şunday qilib, hozirgi bosqiçda söz tayyor mahsulot yoki joriy etiş töğrisidagi qabul qilingan qaror haqida emas, balki oraliq natijalar va uçinçi tomon dasturçilari uçun oçiq taqdimotga oid.