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 OpenAI ...
Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version ...
Physicists and marine biologists built a quantitative framework that predicts how coral polyps collectively construct a variety of coral shapes. Since before she could remember, Eva Llabrés was a ...
AI models from OpenAI and Google DeepMind achieved gold-medal scores in the 2025 International Math Olympiad (IMO), one of the world’s oldest and most challenging high school-level math competitions, ...
There’s a curious contradiction at the heart of today’s most capable AI models that purport to “reason”: They can solve routine math problems with accuracy, yet when faced with formulating deeper ...
A defining memory from my senior year of high school was a nine-hour math exam with just six questions. Six of the top scorers won slots on the U.S. team for the International Math Olympiad (IMO), the ...