OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...
A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...
OpenAI announces its reasoning model has disproven a famous 80-year-old geometry conjecture by Paul Erdős, marking a ...
The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level ...
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.
They made some progress, re-proving the conjecture in two dimensions using different techniques—ones they hoped would be applicable to the three-dimensional case. But then they hit a wall. “At some ...
Sam Raskin in a still from the video “The Geometric Langlands Conjecture”. Credit: Institute for Advanced Study / Youtube Sam Raskin, a mathematician and professor at Yale University, has achieved a ...
Grothendieck is revered in the world of math; outside of it, he’s known for his unusual life, if he’s known at all. But what ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results