Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...
GenAI’s breakthrough in mathematics offers a lesson for medicine: solving healthcare’s biggest problems means questioning old ...
Google and OpenAI have solved decades-old problems — but the scientific community is beginning to discuss whether limits ...
Eric Yachbes '27 urges his peers to vote for Alex Bores '13 in New York's 12th Congressional District Election for more AI ...
Mathematicians warned against rising tech industry influence in a declaration describing the many challenges that AI poses to ...
An OpenAI model disproved the 80-year-old Erdős unit distance conjecture, and Google DeepMind's AlphaProof Nexus solved nine more open problems days later. Together, these AI math breakthroughs mark a ...
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...
In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...
OpenAI announced on May 20, 2026, that an internal general-purpose reasoning model had produced a counterexample to Paul Erdős's 1946 unit distance conjecture — a result in discrete geometry that had ...
OpenAI says a new general-purpose reasoning model has produced an original proof that disproves a long-standing conjecture in discrete geometry tied to the planar unit distance problem. The claim ...
Let's be totally honest, when you hear that AI has cracked a 80-year-old math problem, your first instinct is probably to yawn and swipe away. It sounds like a headline strictly for the coding nerds ...
OpenAI claims its new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946. If this sounds ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results