OpenAI released nearly 400 AI-generated mathematical results across over 700 manuscripts spanning multiple disciplines, leaving mathematicians overwhelmed and uncertain about verification quality. Researchers estimate understanding the deluge could take years, with concerns that only 42% of manuscripts have been formally verified in Lean, and worry OpenAI may release even more before the field can properly assess the work.