OpenAI unveils 722 AI-generated math papers, but verification gaps spark debate
OpenAI posted hundreds of mathematics manuscripts from an unreleased model, yet only a fraction are formally checked, prompting calls for transparency.
Topic
Lean
Every story we have filed on Lean.
1 story