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.

