In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...
Smithsonian Magazine on MSN
Mathematicians puzzled over a famous problem for 80 years. Now, they've used AI to identify a clever solution
Place any number of dots on a two-dimensional plane—say, a piece of paper—and measure the distance between each pair. If you ...
The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...
Hungarian mathematician Paul Erdős’ ‘planar unit distance conjecture’ has stood since 1946 – but an AI disproof has made ...
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...
An AI system developed by OpenAI has produced a verified proof addressing a classic problem in discrete geometry first posed in 1946.
In October 2024, news broke that Facebook parent company Meta had cracked an "impossible" problem that had stymied mathematicians for a century. In this case, the solvers weren't human. An artificial ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results