[ORGANIZATION]
Lean 4
Featured in 1 tracked story · first seen
Situations
Astra model paused over cyber risk amid math breakthroughs
5 clusters · 58 sources · last updated
Latest: OpenAI pauses Astra model development over possible critical cyber capabilities
Since May 2026 OpenAI’s generative‑AI system has delivered formal proofs of long‑standing mathematical conjectures, culminating in the early‑August announcement of its next‑generation model, internally codenamed Astra, w