OpenAI released 722 AI-generated math proofs on Oct. 6, 2026. Mathematicians like Terence Tao are furious. Here's why.
Some results have been hidden because they may be inaccessible to you
Show inaccessible resultsSome results have been hidden because they may be inaccessible to you
Show inaccessible results