Did AI Just “Solve” Math? (Let’s Take a Closer Look) | AI Reality Check

Last week, OpenAI published a press release titled, An OpenAI Model Has Disproved a Central Conjecture in Discrete Geometry.

It goes beyond the title with direct discussion of like, it's, right, including: They were talking specifically about the planar unit distance problem, which was first posed by Paul Erdos in 1946.

1. 01Last week, OpenAI published a press release titled, An OpenAI Model Has Disproved a Central Conjecture in Discrete Geometry
2. 02Peter Diamandis tweeted the following, an open AI model just proved an 80-year-old math conjecture from Paul Erdos, one of the most prolific mathematicians in history
3. 03We first saw the first reasoning models back in 2024 with O1 and the O models, a deep sequence reasoning model as well