OpenAI's Astra JUST solved math...

Wes Roth covers OpenAI's Noam Brown claiming an unreleased 'Astra' model solved 10 long-unsolved math problems for ~$2,000, plus mathematician reactions.