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

Breakthroughs in pure mathematics can take decades. A new Defense Department initiative aims to speed things up using artificial intelligence.

AI models from Google and OpenAI earned gold at the 2025 Maths Olympiad, but five teens scored perfect marks, showing humans still lead in problem-solving.