Tag
The article separates confirmed facts from unsourced claims about OpenAI's Astra model, detailing its published mathematical proofs and a training pause for monitoring amid unverified rumors.
A panel including Emad Mostaque claims AI solved ten decade-old math problems for $2,000 in compute, sparking debate about the future of pure mathematics and the role of human judgment.
This paper studies whether cheap open-weight LLMs can judge natural-language mathematical proofs as reliably as frontier models at far lower cost. On IMO-GradingBench, three cheap judges match frontier pass/fail agreement, and the authors recommend an all-three-pass consensus rule for cost-effective deployment.