Chinese AI cracks decade-old maths problem without human oversight - Breakthrough provides example of how mathematical ...

The researchers explained that the AI analysed decades of existing mathematical literature and combined natural language ...

In May 2025, a claim (archived) circulated online that the tech entrepreneur and former Trump adviser Elon Musk solved an "unsolvable" math problem after a Harvard professor called him "rich but dumb.

Research team led by Peking University says dual-agent approach bridges the gap between reasoning and formal machine verification A Chinese artificial intelligence framework has autonomously resolved ...

Those changes will be contested, in math as in other academic disciplines wrestling with AI’s impact. As AI models become a ...

University researchers are exploring a new way to use large language models (LLMs) for middle school math education. Researchers at George Mason University and William and Mary University have created ...