Science‘Pure insanity’: Mathematicians may need years to make sense of OpenAI’s latest release

OpenAI released nearly 400 AI-generated mathematical results across more than 700 manuscripts. Mathematicians say understanding the collection could take years. Verification varies widely, and OpenAI says only 300 of the 719 manuscripts had been formalized; researchers also questioned whether some proofs match the manuscripts’ claims.

OpenAImathematicsartificial intelligenceformal verification

TThe Verge★★★☆☆2026-10-09 19:09Original