A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...
An AI system developed by OpenAI has produced a verified proof addressing a classic problem in discrete geometry first posed ...
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...
The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level ...
OpenAI says its internal reasoning AI has solved a decades-old discrete geometry problem, overturning a long-held ...
OpenAI has revealed a breakthrough proof that overturns a nearly 80-year-old geometry conjecture posed by Paul Erdős.
OpenAI announces its reasoning model has disproven a famous 80-year-old geometry conjecture by Paul Erdős, marking a ...
Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results