In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...
For nearly 80 years, mathematicians have struggled to solve a classic geometry puzzle first posed by Paul Erdős in 1946: the ...
OpenAI's AI disproved the Erdős unit distance conjecture, an 80-year-old geometry problem. Days later, Google DeepMind solved ...
A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...
Hungarian mathematician Paul Erdős’ ‘planar unit distance conjecture’ has stood since 1946 – but an AI disproof has made ...
OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results