An OpenAI Model 'Disproved' a Famous Math Conjecture. This Mathematician Couldn't Leave It Alone (Gizmodo) – robot.villas