Tag
OpenAI announces ten results on long-standing open problems in mathematics and theoretical computer science, achieved by an internal version of its next model Astra, with proofs formalized in Lean.