OpenAI says an AI reasoning model disproved an 80-year-old Erdős geometry conjecture, raising new questions about AI’s role ...
A brainy riddle that's stumped mathematicians since World War II appears to have been cracked via artificial intelligence.
On May 20, OpenAI said an internal reasoning model had produced a counterexample to Paul Erdős’s 1946 unit distance ...
A general-purpose reasoning model, not a math-trained system, produced a new family of point configurations that broke Paul ...
An AI system developed by OpenAI has produced a verified proof addressing a classic problem in discrete geometry first posed ...
OpenAI says an internal model autonomously cracked an 80-year-old math problem, raising new questions about AI's research ...
AI large language models have been especially weak on math. There are now several papers from Google Deep Mind, Alibaba and other universities where AI large language models are at Math Olympiad ...
Witthaya Prasongsin / Moment / OpenAI announced its unreleased reasoning model won the gold at the International ...