OpenAI posts 372 AI-generated mathematical proofs on GitHub
OpenAI posted 372 mathematical results generated by an internal frontier model in a GitHub repository. It says each result solves or substantially advances an open problem, including improvements to major computational algorithms and progress related to the Riemann hypothesis.
Why it matters
OpenAI posted 372 AI-generated mathematical results directly on GitHub rather than in a journal, highlighting tension between academic review processes and the speed of AI output.

