Ripoti za AI · Microsoft · 2026-11-05 · Tangazo la bidhaa
Kuthibitisha rasmi programu za wavuti za full-stack zilizoandikwa na wakala kwa PDD Kit
Kichwa asilia: Formally verifying agent-written full-stack web apps with PDD Kit
PDD Kit hugeuza dhamira ya msanidi programu kuwa vipimo rasmi vya Verus, huthibitisha kwamba msimbo ulioundwa na AI unavitimiza kwa kila ingizo, na hurudi kwenye majaribio pale ambapo uthibitisho si wa vitendo. Katika jaribio ndani ya Chopin ya GitHub Next, ilithibitisha mantiki ya kuingia ya Pet Store, duka la Rust, ikifichua hitilafu zilizokuwepo na kuthibitisha kutokuwepo kwa hitilafu za kuingia dhidi ya vipimo. Msanidi programu alikagua dhamira bila kusoma msimbo ulioundwa mstari kwa mstari.