OpenAI posts 722 AI-generated math manuscripts on GitHub, reigniting ethics row
OpenAI published 722 math manuscripts, grouped into 372 result families and produced by an unreleased internal model, in a public GitHub repository rather than peer-reviewed journals. The work spans a claimed "quasi-Riemann hypothesis," the BSD conjecture and Hilbert's tenth problem over the rationals, drawn from roughly 4,000 research problems at an average of about three hours of ChatGPT Pro thinking compute per result, with Lean formalizations for many. Some mathematicians criticized the company for bypassing academic publication norms and for a credit dispute, while the same internal model's claimed Navier–Stokes Millennium Prize solution remains under formal review.