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

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free ...

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.

Researchers led by Noah Cowan at Johns Hopkins University have secured NIH funding to probe how animals alternate between "explore" (sensing) and "exploit" (task-oriented) behaviors in uncertain ...

Mistral’s second model launch is Mathstral 7B, an AI model designed specifically for math-related reasoning and scientific discovery. Mistral developed Mathstral with Project Numina.

Every so often, the Pentagon’s blue sky research arm gets slammed, for funding investigations that are a little too down-to-Earth. Then Darpa turns around, and sponsors a new project to "develop ...

You might've noticed that ChatGPT — and AI in general — isn't good at math. There's a reason, and it has to do with how modern AI is built.

OpenAI today launched a new large language model series, o1, that can decode scrambled text, answer science questions with better accuracy than PhD holders and perform other complex tasks. The LLM ...

New secret math benchmark stumps AI models and PhDs alike FrontierMath's difficult questions remain unpublished so that AI companies can't train against it.

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