OpenAI's Astra Solves 10 Math Problems for ~$2000

OpenAI's internal Astra model reportedly solved 10 major math/theoretical CS problems for ~$2000 in API costs, including disproving the Connes rigidity conjecture and proving non-sofic groups exist. All 10 proofs were released with Lean certificates and CoT reasoning traces.