'Essentially no human intervention': Chinese AI solves 12-year-old math problem in just 80 hours — and even proves it

Peking University's dual agent AI solved Anderson's 2014 algebra conjecture in 80 hours with no human intervention and full verification.