Researchers from IIT Bombay propose a computationally efficient, network theory-based mathematical framework to test decentralised traffic control systems.

A new math king emerges To help Light-R1-32B tackle complex mathematical reasoning, the researchers trained on a model that wasn’t equipped with long-chain-of-thought (COT) reasoning.

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition’s brutally tough problems to train an ...

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

Chinese AI lab DeepSeek has quietly updated Prover, its AI system that's designed to solve math-related proofs and theorems.

A recent study from researchers at KAUST has introduced a novel approach to reducing the risk of interference between 5G ...

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

Mathematics may not be the first thing people associate with Alzheimer’s disease research. But for Pedro Maia, an assistant professor of mathematics and data science at The University ...

Imagine you’re a character in a math problem. You have three platters, but two cakes. All three platters need to have the same amount of cake. How would you split it? Without even saying the word ...

Texas Offers a Model for Training Math and Science Teachers The program is about to go national, thanks to a big grant, but skeptics wonder if it is truly better ...