OpenAI releases 722 AI-generated math proofs, signals cross-domain advance

OpenAI published 722 manuscripts organized into 372 families of findings, generated by a powerful unreleased model, demonstrating AI's capability to produce novel mathematical proofs. This marks a continuation of AI's expansion from programming into mathematics, suggesting accelerating cross-domain impact. The release is notable for the scale and novelty of AI-generated proofs, though independent verification of the results is pending.