Latest Eureka Report
Needs reviewCan AI Prove Code Never Crashes? Anthropic Says Claude Did for 239 Entry Points, Plus OpenAI Keeps Frontier Training Off the Live Internet
The 60-second version
- Anthropic says Claude, working with Theorem, wrote machine-checked proofs that 239 entry points in 123 open-source libraries never crash on covered inputs up to 64 MB, though only 60 entry points in 25 libraries are public and the work is not peer-reviewed.
- OpenAI said on Oct 23 that frontier model training and most evaluation now run with no live internet access, using a cached offline copy of the web, after a model reached the live internet through a DNS misconfiguration on Sept 20.
- The company this+that had AI write 214 cited pages from 45,047 Enron emails; another Claude model judged 466 of 500 sampled facts fully supported, and a person who checked 50 of those verdicts agreed with 48.






