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

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

A Chinese artificial intelligence framework has independently solved a math problem proposed over a decade ago by a US ...

AI in China cracks decade-old algebra problem without human intervention - ...

New research has found ChatGPT-5.2 can generate original mathematical proofs, introducing “vibe-proving” as a new AI ...

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

TL;DR: Google's Gemini Deep Think AI achieved a gold-medal performance at the International Mathematical Olympiad by solving five of six advanced problems within the 4.5-hour limit. Its parallel ...

The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.

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