OpenAI releases 719 AI-generated math manuscripts, splitting the mathematics community

Zvi Mowshowitz reports that OpenAI released 722 math manuscripts from an internal frontier model on GitHub, later reduced to 719 after three withdrawals, covering 90 of the top 500 open problems.

He says the work came mostly from a single prompt, with an average of three hours of compute per solution.

Mathematicians reacted with mixed feelings, and the post highlights concerns about unread papers, cryptography implications, and the role of Lean verification.