Four mathematical programming models for R&D project selection and funding are developed, based on similar models and results in the literature. Project selection and funding decision planning data ...

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

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.

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

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 ...

Telling AI model to “take a deep breath” causes math scores to soar in study DeepMind used AI models to optimize their own prompts, with surprising results.

If you really want to get into the nuts and bolts of what's happening with learning models, listening to Joel Emer can be an instructive way to meditate on some of the ...