An OpenAI Model ‘Disproved’ a Famous Math Conjecture. This Mathematician Couldn’t Leave It Alone by Gayoung Lee from Gizmodo on 2026-06-01 11:30 (#760N3) Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model-and what that could mean for mathematics.
