A research team based in China says its artificial intelligence system has done something no AI has publicly done before: independently solved an open problem in pure mathematics that had stumped ...

Research team led by Peking University says dual-agent approach bridges the gap between reasoning and formal machine ...

DeepSeek's AI models rival top Silicon Valley offerings, excelling in some complex tasks. The models use inference-time compute, breaking queries into smaller, manageable tasks. DeepSeek's DeepThink ...

A Chinese artificial intelligence system has solved a decade-old problem proposed by an American mathematician, according to a new study. The algebra conjecture was first posed in 2014 by then ...

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...

It's a math competition, yet the venue is bustling with a noise that spills outside. Participating students form small teams, boisterously exchanging ideas to find answers. The problems are not only ...

In a twist to the common belief that only the top spot matters in competitions, a young female student who secured 12th place ...

Wang Hong, a 35-year-old Chinese mathematician at New York University, has taken two of mathematics' most prestigious prizes ...