The results span mathematics and theoretical computer science, with manuscripts, Lean certificates and reconstructed reasoning walkthroughs released for expert scrutiny OpenAI says an internal version of its Astra AI model generated ten results across mathematics and theoretical computer science OpenAI has published ten results in mathematics and theoretical computer science that it says were gen…
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-adva…
10 proofs from our next major model Astra on long-standing open problems in mathematics and theoretical computer science (also including new circu…
