A Claude 123 nyílt forráskódú könyvtár fordított kódjának biztonsági tulajdonságait bizonyította

2026. okt. 26. · 13. lapszám · 1 forrás, 1 cikk

Egy beszámoló szerint a Claude formálisan bizonyította a biztonsági tulajdonságokat 123 nyílt forráskódú könyvtár lefordított kódjában. Eközben olyan hibákat is talált, amelyek addig elkerülték a felderítést.

Kit érint és hogyan

senior fejlesztő

Kritikus könyvtáraknál megfontolható az AI-segített bizonyítás bevezetése.

Narratíva: AI talál hibát, a javítás nem bírja

Források

• LLMs are making formal software verification feasible at a much larger scaleanthropic.com · 2026. okt. 26.

Gépi összefoglaló a forráscikkek címe és kivonata alapján. A tények forrása a hivatkozott cikk.