A study connecting teachers from Chongqing, China and Ontario reveals strengths in Ontario mathematics education, and what ...

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

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

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

Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

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

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