← Back to live feed1 story
Anthropic's Claude AI model formally verified security properties across 123 open-source libraries, generating approximately 1 billion lines of formal proofs, with 180 million machine-checked, and identified numerous security flaws in software including a common PDF reader.
Sign in to suggest
Key sources
- SOURCEhuggingnewshuggingnews.com
- SOURCE@owen_dahlkamp“Anthropic has been quietly pitching its own AI safety bill to members of Congress.”x.com
- SOURCE@ajcimino“We plan to update our discussion language on preemption to better match the intentions of our AAIF framework.”x.com
- SUPPORT@politico“‘Bumper sticker bill’: AI kill switch rides the midterm elections wave”x.com
- SUPPORT@charliebull0ck“this bill is weaker than the Trahan-Obernolte FRONTIER Act in some key ways”x.com
- SUPPORT@_nathancalvin“passing it would make us less protected against catastrophic risks than we are under existing law.”x.com
- SUPPORT@zackkorman“Anthropic is warning that AI can cause human extinction, while proposing legislation that effectively says: "We should let the labs decide what counts as safe"”x.com
- SUPPORT@amanda_goodall“If SI models cause more than 50 deaths or injuries?”x.com