What's up in
Three mathematicians have resolved a fundamental question about straight paths on the 12-sided Platonic solid.
AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.
A powerful technique called SAT solving could work on the notorious Collatz conjecture. But it’s a long shot.
Physicists have identified an algebraic structure underlying the messy mathematics of particle collisions. Some hope it will lead to a more elegant theory of the natural world.
Two mathematicians have proved the first leg of Paul Erdős’ all-time favorite problem about number patterns.
Symplectic geometry is a relatively new field with implications for much of modern mathematics. Here’s what it’s all about.
Why do mathematicians enjoy proving the same results in different ways?