OpenAI Astra Proves 10 Decade-Old Math Problems for $2,000
OpenAI's Astra AI system solved ten open mathematical problems, including the first explicit construction of a non-sofic group, a problem open since 1999, for a total compute cost of approximately $2,…