OpenAI Just Dropped 722 Unrefereed Math Papers on GitHub. Mathematicians Called It "Mafia-Like."
722 manuscripts. 372 result families. Claims on the quasi-Riemann Hypothesis, Hodge Conjecture, Hilbert's 10th Problem, and Kakeya in 3 dimensions. 162 have Lean verification. 560 do not. The model that generated them was not released. Fields Medalists called it mafia-like. Here's what the repository actually contains — and what needs verification before any of it is mathematics.