OpenAI releases 700 AI-generated mathematical proofs

OpenAI has published a repository of 700 preprints containing mathematical proofs and counterexamples produced by its AI systems, including a claimed proof of integer multiplication below n log n — a problem that has eluded mathematicians for decades. The release is framed as a transparency exercise, but the sheer volume and scope of the work signals that AI is now operating as a genuine research collaborator in pure mathematics.