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 earn a gold-medal score at the International Math Olympiad—and they discuss th ...

OpenAI has achieved "gold medal-level performance" at the International Math Olympiad, notching another important milestone for AI's fast-paced growth. Alexander Wei, a research scientist at ...

secret math problems dept. 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.

John Otoo received a 2025 Global Recognition Award for strategic leadership in mathematics instruction reform. His technology ...

Microsoft has introduced a new set of small language models called Phi-4-reasoning, Phi-4-reasoning-plus, and Phi-4-mini-reasoning, which are described as "marking a new era for efficient AI." ...

A graduate from Swansea University has been awarded the Quantum Advisory Prize in recognition of her use of mathematical and computational models to study ...

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