OpenAI publishes 722 AI-generated math papers as researchers challenge its closed model

OpenAI organized the results into 372 groups and said it had given the model about 4,000 problems. The release gives researchers a large collection of proofs to examine, but not access to the proprietary system that produced them.