
OpenAI releases 722 AI-generated math proofs, sparking debate over transparency and pace
OpenAI has published 722 manuscripts containing solutions to hundreds of open mathematical problems, generated by an unreleased internal model. While the release includes reasoning summaries and compute estimates, it lacks specific prompts, drawing criticism from the Advisory Group on Mathematics and Artificial Intelligence (AGMAI). The move follows a controversial Navier-Stokes breakthrough and raises questions about the speed of AI-driven research versus academic rigor.
