An AI system developed by OpenAI has produced a verified proof addressing a classic problem in discrete geometry first posed ...
On May 20, OpenAI said an internal reasoning model had produced a counterexample to Paul Erdős’s 1946 unit distance ...
OpenAI has revealed a breakthrough proof that overturns a nearly 80-year-old geometry conjecture posed by Paul Erdős.
OpenAI says its internal reasoning AI has solved a decades-old discrete geometry problem, overturning a long-held ...
The AI-assisted math results were first coming in a trickle, but they seem to be threatening to turn into a deluge. OpenAI ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results