OpenAI publishes 722 math research papers on GitHub

OpenAI released 722 mathematical research papers online, grouped into 372 sets on GitHub, after mathematicians criticized the company for not crediting prior human research. Partnering with the Institute for Advanced Study and using proof-checking tool Lean, OpenAI also shared protocols for citation and paper revision to build trust in AI-driven science.