OpenAI's internal Astra model advances ten open problems in mathematics and theoretical computer science
OpenAI published Astra's solutions or substantial progress on ten long-standing problems spanning group theory, cryptography, quantum complexity and other fields, with a Lean certificate for each argument.