LLMs are making formal software verification feasible at a much larger scale(anthropic.com)

429 points by johnbender 3 days ago | 265 comments

Anthropic research post describing how Claude produced formal proofs of crash-freedom for RISC-V binaries of 123 OSS-Fuzz open-source libraries, finding bugs along the way.

Some thoughts about Anthropic's new cryptanalysis results(blog.cryptographyengineering.com)

174 points by supermatou 2 months ago | 96 comments

Anthropic blocks 'malicious use' of AI that could develop biological weapons(bbc.com)

6 points by mgh2 1 month ago | 2 comments

Claude designed protein binders against scorpion neurotoxins(anthropic.com)

87 points by artninja1988 6 days ago | 74 comments

Anthropic research post describing how Claude was used to design protein binders against scorpion neurotoxins, with a link to a technical report.

Improving our alignment and security efforts(anthropic.com)

18 points by reasonableklout 1 month ago | 9 comments

Using Claude to reduce the attack surface of code(anthropic.com)

104 points by dnw 5 days ago | 91 comments

Anthropic Frontier Red Team post on research into using Claude to reduce the attack surface of code for cyber defense.

Anthropic’s paper smells like bullshit(djnn.sh)

1070 points by vxvxvx 11 months ago | 300 comments

Blog post criticizing Anthropic's report on disrupting an AI-orchestrated cyber espionage campaign; the captured page shows a Cloudflare block screen.

AI handles incidents, engineers lose touch with their systems(sylvainkalache.com)

359 points by sylvainkalache 1 month ago | 309 comments

Blog post by a former LinkedIn SRE arguing that AI tools automating incident response risk making engineers lose understanding of their systems.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

Study identifies weaknesses in how AI systems are evaluated(oii.ox.ac.uk)

397 points by pseudolus 11 months ago | 186 comments

Oxford Internet Institute news item on a study finding that most of 445 LLM benchmarks lack rigorous methods and clear definitions of what they measure.

Belgium legalises ethical hacking(law.kuleuven.be)

394 points by jruohonen 3 years ago | 57 comments

A KU Leuven CiTiP blog post discussing Belgium's new legal framework legalising ethical hacking and whether it threatens or helps cybersecurity.

Disrupting the first reported AI-orchestrated cyber espionage campaign(anthropic.com)

341 points by koakuma-chan 11 months ago | 261 comments

Anthropic news post describing how it detected and disrupted a cyber espionage campaign largely orchestrated using its Claude AI model, with a linked full report.