Anthropic's Claude generates 180 million lines of formal proofs
Claude formally verified code from 123 open-source libraries, finding bugs that evaded testing for over a decade. Plus: IBM's open-weight bet and Ukraine's strikes on Russian data centres.
Sources:
Anthropic's Claude now writes code and proves it safe automatically
Three-week on-site audit at OpenAI reveals major gaps in AI safety monitoring
Ukraine hits Russian data centres in blow to Moscow's AI capabilities
IBM CEO says businesses are choosing open-weight models over expensive frontier AI - HotMinute
NVIDIA Releases Nemotron 3.5 Bolt E4B 4GB: An Open Small Language Model for Local Voice…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.