OpenAI Released Hundreds of Math Papers Written by an AI Nobody Can Test. Mathematicians Want Proof.
OpenAI published over 700 math manuscripts produced by an unreleased model, claiming progress on hundreds of open problems. About 42% are machine-verified.