OpenAI’s AI-generated mathematics release tests scientific credibility

OpenAI released 722 manuscripts from roughly 4,000 attempts, with hundreds of claimed results and partial Lean formalization. IAS-linked workshops are expected to vet 372 proofs, but independent validation, attribution, researcher independence, and genuine novelty remain unresolved; subsequent roundup coverage is duplicative rather than new evidence.