Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...
OpenAI has said that one of its unreleased AI reasoning models has solved a long-standing mathematics problem first proposed ...
A general-purpose reasoning model, not a math-trained system, produced a new family of point configurations that broke Paul ...
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.
A Google DeepMind researcher and OpenAI’s former CTO are posing questions about the validity of OpenAI’s claim about its gold-medal score. OpenAI’s latest model has achieved a gold-level score at the ...
DeepSeek made waves in early 2025, launching one of the world's first free-to-access thinking models. Now, the Chinese firm has just released DeepSeekMath-V2 with the objective of achieving ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results