OpenAI reveals Astra, an AI model that solved ten math problems mathematicians struggled with for decades
OpenAI has officially confirmed the existence of a new AI model family, Astra, which has solved ten open problems in mathematics and theoretical computer science that researchers had been working on for at least ten years. The results, including the first example of a non-sofic group, were formalized in the Lean proof checker, and OpenAI plans to continue experimenting with the model on other hard problems.
OpenAI
