Ripoti za AI · Anthropic · 2026-10-22 · Blogu / maoni
LLM zinafanya uthibitishaji rasmi wa programu uwezekane kwa kiwango kikubwa zaidi
Kichwa asilia: LLMs are making formal software verification feasible at a much larger scale
Claude ilithibitisha rasmi sifa za usalama katika kiwango cha assembly ya RISC-V katika maktaba huria zaidi ya 100 za ulimwengu halisi, kwa ushirikiano na Theorem. Wakati wa kuandika uthibitisho huo, ilipata hitilafu ambazo hazikuwa zimegunduliwa kwa miaka mingi licha ya majaribio ya kina. Waandishi wanasema kwamba LLM sasa zinaweza kutoa uthibitisho rasmi kwa kiwango kikubwa, jambo linalofanya uthibitishaji rasmi kuwa sehemu ya vitendo ya uundaji wa programu salama.