DEVX

Blog

#Formal Verification
Тест бичих эрин төгсөх үү? Anthropic AI-аар 123 нээлттэй эхийн сангийн алдаагүйг математикаар нотловBlog
Мэдээ

Тест бичих эрин төгсөх үү? Anthropic AI-аар 123 нээлттэй эхийн сангийн алдаагүйг математикаар нотлов

Компьютер шинжлэх ухааны 50 жилийн мөрөөдөл биеллээ олж эхэллээ: Anthropic компиляторын RISC-V ассемблер түвшинд 180 сая мөр математик баталгааг Claude AI-аар бичүүлж, олон жил нуугдсан тэг дэх өдрийн цоорхойнуудыг илрүүлэв.

TOGTOKHTOGTOKH2026 оны аравдугаар сарын 25
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