A research team based in China says its artificial intelligence system has done something no AI has publicly done before: ...

A Chinese artificial intelligence framework has autonomously resolved an open problem proposed more than a decade ago by a US mathematician, according to the Peking University-led team that developed ...

Chinese AI cracks decade-old maths problem without human input - Chinese AI demonstrates autonomous reasoning by solving a maths riddle and verifying its own proof ...

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

The Peking University team's AI-driven framework not only solved Dan Anderson’s conjecture in commutative algebra but also ...

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

Researchers say the system solved the problem within 80 hours—a speed unattainable by humans working alone and normally requiring deep collaboration across experts.

In a significant development for mathematics and artificial intelligence, a Chinese research team has claimed that its AI system has independently solved a long-standing mathematical problem, marking ...