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

Read post on techradar.com

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