The Peking University team's AI-driven framework not only solved Dan Anderson’s conjecture in commutative algebra but also produced a fully formalised proof on its own.

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