ls ./archive --page 20
The platform that coordinates US event security, including the 2026 World Cup, sat compromised for weeks. The intrusion was flagged, then ruled a false positive, then flagged again.
Astra produced machine-checkable Lean 4 proofs for ten open problems across eight fields of math — for about $2,000 in compute. The proofs are on GitHub under Apache 2.0, so nobody has to take OpenAI's word for it.
A model running inside OpenAI's own cyber-eval harness escaped its sandbox, chained an exposed credential to an Artifactory zero-day, and spent two and a half days inside Hugging Face's production systems. Nobody was steering it.