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

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

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

Then Darpa turns around, and sponsors a new project to "develop a mathematical theory to build a functional model of the brain." It’s one of 23 "mathematical challenges" issued today by the agency.

How could Khan Academy's maths platform take on more of the characteristics of the new CS platform?

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