OpenAI releases 722 AI‑generated math manuscripts on GitHubOpenAI has put 722 manuscripts covering 372 result families into a public GitHub repository, prompting excitement and criticism from mathematicians over transparency and research practice.7 October 2026