Artificial Intelligence◆ FeaturedOct 7, 2026//1 MIN
OpenAI dropped 700 machine-written math papers at once. Mathematicians are not okay
One claims to prove the Unique Games Conjecture, with a Lean certificate attached. A world expert said it reads like it was written on psychedelics.