mathematicians: frontier labs need to publish real proofs so we

Press Space to continue

mathematicians: frontier labs need to publish real proofs so we can check them, not blog posts OpenAI: fine. here’s 722 papers https://x.com/Hesamation/status/21076007…

OpenAI@OpenAI2h ago

We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. https://github.com/openai/math