AI na Matatizo Magumu ya Ulimwengu · Sayansi ya kompyuta ya kinadharia · Anthropic · 2026-10-22
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 msimbo uliokusanywa wa maktaba 123 za chanzo huria, ikifanya kazi katika kiwango cha lugha ya assembly ya RISC-V. Wakati wa kuandika uthibitisho huo, pia iligundua hitilafu ambazo hazikuwa zimegunduliwa kwa miaka mingi licha ya majaribio mengi.