#Controversial

AIMore than three dozen mathematicians told The Verge they need years to understand OpenAI's release of nearly 400 AI-generated results across more than 700 manuscripts. Only about 42 percent of the manuscripts had been formalized in Lean, and OpenAI retracted three papers over a sign error. Researchers also said some fields were disrupted and that early-career mathematicians face new uncertainty.

Why it matters: The article shows how mathematicians are judging a large batch of AI-generated results, including verification gaps, paper quality, and effects on careers.

AIThe Association of Historical Mathematicians (AHM) has called for a boycott of OpenAI after the company released more than 700 AI-generated proof files at once. Fields Medalist Terence Tao, who chairs the group, argues that AI solving open problems autonomously reduces seminars, collaborations, and fertile research directions, and that the field should shift its measure of progress toward explanation and community-building.

Why it matters: The article links the AHM boycott call to Tao's argument that AI-driven proof volume is changing how mathematicians measure progress and whether solutions remain useful.

AIZvi 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.

Why it matters: The post traces how OpenAI's release of 719 math manuscripts divided mathematicians and reshaped verification, credit, and publication norms in the field.