Progress We've seen some exciting developments in the past few weeks: OpenAI announced they had used their latest internal AI model, Astra, to make ten advances in mathematics and theoretical computer science . Mathematician Levent Alpöge used Anthropic's Fable 5 model to find a counterexample to the 87-year-old Jacobian Conjecture . Intelligence is becoming much cheaper; there have been…