OpenAI shares ten advances on open math problems
Results on ten long-standing open problems from an internal version of Astra, each formalized in Lean.
Today, we are sharing a selection of ten results, each of which resolves or makes substantial progress on a long-standing open problem.
Official source
Ten advances in mathematics and theoretical computer scienceopenai.com · published