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.

OpenAI o'zining eng kuchli xavfsizlik mehanizmlaridan birini — Preparedness (tayyorgarlik) jamoasini — oxirgi oylarning oxirida yonib yubordi. Financial Times ma'lumotlariga ko'ra, bu qaror kompaniya borsaga chiqish (IPO) yo'lida turganida qabul qilindi. Natija: model xavflarini baholash vazifasi bo'linib, mavjud jamoalarga tarqatildi. Bu — Superalignment va AGI Readiness jamoalarining yo'q qilinishidan keyin uchinchi katta xavfsizlik restructiratsiyasi.
Preparedness jamoasi 2023 yil oktabrida shakllangan. Uning vazifasi — OpenAI modellarining "katastrofik" xavflarni tekshirish: siberhujum, biologik zaxira yaratish, kimyoviy qurol va avtonom replikatsiya. Jamoa har bir model uchun "risk kartasi" tayyorlard: bu model nima qila oladi, qayerda chetga yetadi, va qanday himoya kerak.
Ular faqat test qilmaydi — ular mitigatsiya (xavfni kamaytirish) strategiyalari ishlab chiqardilar. Masalan, o1 modeli uchun biologik xavf baholashida jamoa laboratoriya usullarini va reagentlarga kirishni cheklovchi mexanizmlar taklif qildi. Bu ish natijalari ichki "Preparedness Framework" hujjatiga otdi — bu hujjat hozir qanday amal qilayotgani noaniq.
FT manbalariga ko'ra, mas'uliyat ikki yo'nalishga bo'linib, mavjud strukturaga o'tkazilgan:
Bu — markazlashtirilgan, mustaqil baholash o'rniga, funksional bo'limlarga tegishli xavfsizlik modeli. Afzallik: har bir sohada chuqur ekspertiza. Kamchilik: umumiy, ko'lamli risklarni kim baholaydi? Masalan, model hem kod yozib, hem biologik yo'l-karta berib, hem o'zini nusxalasa — bu kesimlarni kim birlashtiradi?
Bu voqea yagona emas. Oxirgi 18 oyda:
Har bir jamoa oldingisidan qisqa yashadi. Bu — tizimli parchalash, necha xato.
Ketishlar ro'yxati o'qib o'tilganda, nafaqat ismlar, balki rolar diqqatni tortadi:
Bu odamlar — faqat xodimlar emas, institutsional xotira. Ular ketganda, ularning bilan birga o'tgan tajriba, ichki standartlar va "qizil chiziqlar" tushunchasi ham ketib ketadi.
OpenAI hozir $150+ milliard qiymatlashuvda investorlar bilan muzokira olib borayotgan. IPO uchun ikki shart muhim: tez o'sish ko'rsatkichlari va mahsulotlarni bozorga yetkazish tezligi.
Xavfsizlik jamoalari — sekinlik keltiradi. Ular modelni chiqkazdan oldin test talab qiladi, hujjatlar talab qiladi, ba'zi funksiyalarni bloklaydi. Investorlarga "biz xavfsizroqmiz" degan narrativ sotish qiyin, lekin "biz eng yangi modelni birinchi chiqardik" — oson.
Bu degani emas, OpenAI xavfsizlikka e'tibormas. Lekin prioritetlar ierarxiyasi o'zgartirildi: xavfsizlik endi "blokiruvchi faktor" emas, "qo'llab-quvvatlovchi funksiya" deb qaralmoqda.
Preparedness jamoasi rahbari Dylan Scandinaro — Fevral 2025-da Anthropic dan tortib olingan. Anthropic da u "Alignment Science" bo'limida ishlagan. Endi u rekursiv o'zini yaxshilovchi (recursive self-improving) AI xavflariga fokuslanmoqda.
Bu — aniq va juda murakkab soha. Agar model o'z kodini o'zgartirib, o'zi yangi versiyasini yaratsa, va bu jarayon avtomatik davom etsa — bu klassik "tez o'sish" (fast takeoff) stsenariyi. Scandinaro bu yerda chuqur bilimga ega. Lekin u yagona shaxs sifatida, jamoasiz ishlayotgani — bu mas'uliyatning qanchalik haqiqiy qabul qilinayotganini ko'rsatadi.
Taqqoslash uchun:
Raqobatchilar standartlashtirishga intilishmoqda (masalan, NIST AI RMF, ISO 42001). OpenAI esa ichki standartlarini soddalashtirish yo'lida.
Yaqin muddatda — hech narsa. Modellar ishlayapti, API javob berayapti. Lekin uzoq muddatda:
OpenAI Preparedness jamoasini yo'q qilmagan — u xavfsizlikni markazlashtirilgan, proaktiv, mustaqil funksiyadan, desentralizlangan, reaktiv, mahsulotga tegishli funksiyaga o'tkazdi.
Bu IPO yo'lida "tezlik va samaradorlik" uchun qilingan tanlov. Lekin AI xavfsizligida — aynan markazlashtirilgan, mustaqil nazorat eng katta himoya qavatidir. Uni yo'qotgan holda "xavfsizlik bor" degani — eshikni yopib, qalqonni o'chirib yuborishga o'xshaydi.
Kelajakdagi modellarning (GPT-5 va undan keyingi) xavfsizlik hujjatlari, red teaming hisobotlari va mitigatsiya strategiyalari — bu o'zgarishning haqiqiy sinovi bo'ladi. Agar ular past darajada, kechikib, yoki butunlay yashirin bo'lsa — bozor va jamiyat OpenAI ning "yorqin mahsulotlar" strategiyasining haqiqiy narxini bilib oladi.