A.I.’s First Big Math Breakthrough Is Not What It Seems

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...

An OpenAI Model ‘Disproved’ a Famous Math Conjecture. This Mathematician Couldn’t Leave It Alone

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...