What's up in
Mathematics
Latest Articles
How Close Are Computers to Automating Mathematical Reasoning?
AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.
Computer Scientists Attempt to Corner the Collatz Conjecture
A powerful technique called SAT solving could work on the notorious Collatz conjecture. But it’s a long shot.
The Mathematical Structure of Particle Collisions Comes Into View
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.
Computer Search Settles 90-Year-Old Math Problem
By translating Keller’s conjecture into a computer-friendly search for a type of graph, researchers have finally resolved a problem about covering spaces with tiles.
Math of the Penguins
Emperor penguins display rigorously geometric spacing and mathematical efficiency when they huddle together for warmth, which may reveal secrets to their overall health.
Landmark Math Proof Clears Hurdle in Top Erdős Conjecture
Two mathematicians have proved the first leg of Paul Erdős’ all-time favorite problem about number patterns.
How Physics Found a Geometric Structure for Math to Play With
Symplectic geometry is a relatively new field with implications for much of modern mathematics. Here’s what it’s all about.
Mathematicians Will Never Stop Proving the Prime Number Theorem
Why do mathematicians enjoy proving the same results in different ways?
How Gödel’s Proof Works
His incompleteness theorems destroyed the search for a mathematical theory of everything. Nearly a century later, we’re still coming to grips with the consequences.