OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...
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 ...
OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the ...
OpenAI’s AI model solved an 80-year-old Erdős math problem, marking a breakthrough in AI-assisted scientific reasoning and ...