New Proof Illuminates the Hidden Structure of Common Equations
Van der Waerden’s conjecture mystified mathematicians for 85 years. Its solution shows how polynomial roots relate to one another.
In New Math Proofs, Artificial Intelligence Plays to Win
A new computer program fashioned after artificial intelligence systems like AlphaGo has solved several open problems in combinatorics and graph theory.
Mathematicians Prove 30-Year-Old André-Oort Conjecture
A team of mathematicians has solved an important question about how solutions to polynomial equations relate to sophisticated geometric objects called Shimura varieties.
Mathematician Answers Chess Problem About Attacking Queens
The n-queens problem is about finding how many different ways queens can be placed on a chessboard so that none attack each other. A mathematician has now all but solved it.