Research · The Decoder ·
OpenAI shifts the boundary of automated reasoning with a "milestone in AI mathematics" that experts are now unpacking
OpenAI's reasoning model solved a long-standing mathematical problem posited by Paul Erdős, utilizing algebraic number theory in an unexpected way. Fields Medalist Tim Gowers hailed it as a significant achievement in AI mathematics.