A research team based in China says its artificial intelligence system has done something no AI has publicly done before: ...

The Peking University team's AI-driven framework not only solved Dan Anderson’s conjecture in commutative algebra but also ...

Algebra is the discipline of pure mathematics that is concerned with the study of the abstract properties of a set, once this is endowed with one or more operations that respect certain rules (axioms) ...

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