Blog

Unit Test хангалтгүй болсон үед: Google AI-ийн бичсэн аюулгүй байдлын дүрмийг Z3-аар математик аргаар батлах CEL Formal Verification-ийг танилцууллаа

AI агентууд дэд бүтцийн дүрэм, бодлогыг бие даан бичиж refactor хийдэг болсон өнөө үед ердийн Unit Test аюулгүй байдлыг бүрэн хангаж чадахгүй болжээ. Google компани алдарт Common Expression Language (CEL)-д зориулсан Z3-д суурилсан Formal Verification шийдлийг нээлттэй зарлалаа.

TOGTOKH2026 оны наймдугаар сарын 26