OpenAI Publishes 722 AI-Generated Math Manuscripts, but Researchers Want Proof
OpenAI has published 722 manuscripts generated by an unreleased internal AI model, but only 162 have Lean-checked main results. Mathematicians say the company’s one-prompt, single-agent claim remains unverified until the model, prompts and supporting details are made available.