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