Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free ...

OpenAI’s latest model has achieved a gold-level score at the 2025 International Mathematical Olympiad. It answered five out of the six questions under exam conditions, scoring 35 out of a ...

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

OpenAI's experimental model achieved gold at the International Math Olympiad It's a major milestone for AI models, but this level of reasoning won't be available to the public anytime soon.

If OpenAI's new model can solve grade-school math, it could pave the way for more powerful systems.

DeepSeek models match or beat some of Silicon Valley's top offerings. BI put the Chinese contender through its paces with a challenging math problem.

Two decades ago, a new way of teaching math drew interest and caught fire across higher education. Instead of having students sit in a lecture hall listening to a professor walk through ...

Every so often, the Pentagon’s blue sky research arm gets slammed, for funding investigations that are a little too down-to-Earth. Then Darpa turns around, and sponsors a new project to "develop ...