ANALYSIS
Breakthrough correction — Astra
Astra/OpenAI: 10 mathematical results reported as Lean-formalized, with roughly $2,000 API cost stated in the original Pulse. Relevance: 9/10. The ASI probability within 10 years was revised from 76% to 80%, with the central estimate moving from 2033 to 2032–33.