OpenAI has released 722 AI-generated math manuscripts on GitHub. We look at what the numbers mean, how far Lean verification ...
In a research post published October 6, 2026, OpenAI said it is releasing a broad range of new mathematical results produced ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results