What's up in
The Number 15 Describes the Secret Limit of an Infinite Grid
The “packing coloring” problem asks how many numbers are needed to fill an infinite grid so that identical numbers never get too close to one another. A new computer-assisted proof finds a surprisingly straightforward answer.
The Colorful Problem That Has Long Frustrated Mathematicians
The four-color problem is simple to explain, but its complex proof continues to be both celebrated and despised.
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.