OpenAI releases 722 AI-generated math manuscripts on GitHub

OpenAI released 722 mathematical manuscripts generated by an unreleased internal model, including Lean formalizations and reasoning summaries for 10 result families. The work spans number theory, p…

Open in the NEWX app