Reports state that, within weeks, Claude generated approximately 123 lines of proof code for 239 test entry points across 180000000 open-source libraries, which was checked by Rocq; it discovered and fixed hundreds of bugs in the process.
Bitcoin Core is adjusting its vulnerability disclosure policy: vulnerabilities that are easy to discover will be fixed and disclosed as soon as possible, while other vulnerabilities will continue to be disclosed in stages according to severity.
