DEVX

Blog

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

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

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

TOGTOKHTOGTOKH2026 оны наймдугаар сарын 26
OpenAI-ийн шинэ Astra загвар 10 жил шийдэгдээгүй бодлогуудыг Lean 4 кодоор баталж, GitHub дээр нийтэллээBlog
Мэдээ

OpenAI-ийн шинэ Astra загвар 10 жил шийдэгдээгүй бодлогуудыг Lean 4 кодоор баталж, GitHub дээр нийтэллээ

OpenAI компани ирээдүйн Astra загвараараа 10 гаруй жил шийдэгдээгүй байсан математик болон онолын компьютерын ухааны 10 томоохон бодлогыг баталж, Lean 4 програмчлалын хэл дээрх машины шалгалттай кодуудыг GitHub дээр нээлттэй байршууллаа.

TOGTOKHTOGTOKH2026 оны наймдугаар сарын 5