OpenAI researchers reveal how their experimental model, devoid of any external aids, powered through hours-long proofs to ...

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet ...

For faculty and graduate students who would like to run a project as part of the Experimental Mathematics Lab, please contact us with a project description. We would be very happy to provide ...

OpenAI's experimental model achieved gold at the International Math Olympiad It's a major milestone for AI models, but this level of reasoning won't be available to the public anytime soon.

Phi-4 and an rStar-Math paper suggest that compact, specialized models can provide powerful alternatives to the industry’s largest systems.

In a new paper, researchers show that even the most sophisticated general-purpose AI language models struggle to solve math problems.

Overview: Free datasets are essential for practice, research, and AI model development.Platforms like Kaggle, UCI, and Google ...

After months of speculation and anticipation, OpenAI has released the production version of its advanced reasoning model, Project Strawberry, which has been renamed “o1.” It is joined by a ...

It's one project in a national, $20-million initiative to have advanced mathematics pick up where sheer computing power is inadequate.