OpenAI Publishes 722 AI-Generated Math Proofs, Deepening Academic Controversy
OpenAI released 722 manuscripts containing solutions to 372 major mathematical problems, generated by an unreleased internal model. The release includes reasoning summaries and compute estimates but omits specific prompts, drawing criticism from the Advisory Group on Mathematics and Artificial Intelligence (AGMAI). This follows the controversial Navier-Stokes breakthrough and raises concerns about transparency, verification, and the potential for a two-tier research system.