OpenAI releases 722 AI-generated math papers, but the results are still unverified
The manuscripts, produced by an unreleased model, include results bearing on three of the unsolved Millennium Prize Problems. OpenAI has acknowledged that proofs without formal verification may contain errors — and some results are not yet fully understood by its own mathematicians.
2 min read