Astra solves the unsolved
OpenAI says upcoming Astra model solved ten open problems in mathematics
OpenAI reports an internal version of its upcoming Astra model solved ten open problems in mathematics and theoretical computer science, spanning geometry, cryptography and complexity, for roughly $2,000 in compute. The results come with a paper, LLM-generated proof reconstructions and Lean 4 formalizations.


