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.

Two mathematicians have used a new geometric approach in order to address a very old problem in algebra. In school, we often learn how to multiply out and factor polynomial equations like (x² – 1) or ...

Top students can benefit greatly by being offered the subject early. But many districts offer few Black and Latino eighth graders a chance to study it. By Troy Closson From suburbs in the Northeast to ...