OpenAI publishes ten machine-certified advances in mathematics and computer science
OpenAI reported ten results across sphere packing, coding theory, groups, circuit and quantum complexity, lattices, and Ramsey theory. Human researchers prepared manuscripts, while its internal Astra system formalized each argument as a Lean certificate and released reasoning walkthroughs.
Why it matters: Machine-checkable proof artifacts provide stronger inspectable evidence than benchmark scores and expose the exact formal statements behind claimed scientific progress.