To Have Machines Make Math Proofs, Turn Them Into a Puzzle
The mathematical conundrums that Marijn Heule has helped crack in the last decade sound like code names lifted from a sci-fi spy novel: the empty hexagon. Schur Number 5. Keller’s conjecture, dimension seven. In reality, they are (or, more accurately, were) some of the most stubborn problems in geometry and combinatorics, defying solution for 90 years or more. Heule used a computational Swiss Army…
MoMath Brings Prime Numbers to a Prime New Location
After outgrowing its original home, the National Museum of Mathematics has added new exhib…
