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

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

My projects and my approach are certainly a work in progress—sometimes a problem I find interesting will fall flat or it won’t actually show the math I want it to illuminate.

Microsoft enhances the capabilities of small language models (SLMs) with rStar-Math. The technique boosts the capabilities of SLMs, allowing them to compete or even surpass the math reasoning ...

Alibaba Group Holding is aiming to raise the bar in artificial intelligence (AI) development by launching a group of maths-specific large language models (LLMs) called Qwen2-Math, which the e ...

Alibaba Group Holding unveiled an upgraded version of its third-generation Qwen3 family of large language models (LLMs), improving one of its members to score higher in maths and coding than ...

Large Language Models (LLMs ) are everywhere, but how exactly do they work under the hood? [Miguel Grinberg] provides a great explanation of the inner workings of LLMs in simple (but not simplistic… ...

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

A PILOT project designed to make maths more relevant to everyday life was launched yesterday.