Stupid questions spark mathematical advances
Summary and headline written by AI from the source article. How we work
Four centuries ago, Sir Walter Raleigh asked his assistant, Thomas Harriot, a seemingly simple question, how many cannonballs were in a stack, leading to a formula for calculating them efficiently.
Raleigh needed this information for his expedition to South America. Harriot provided the answer, but became more fascinated with the problem of stacking than Raleigh did. Harriot later shared the problem with Johannes Kepler, who explored the most efficient ways to stack spheres.
This led to the “Kepler Conjecture”, which remained unsolved for centuries, even capturing the interest of mathematician David Hilbert, who included it among a list of important unsolved problems in 1900. In the 20th century, Thomas Callister Hales attempted to prove the conjecture using a computer, generating massive calculations to confirm Kepler’s proposed stacking method. After initial difficulties with publication, Hales and collaborators verified the proof through a project called Flyspeck, formally validating every step.
More recently, AI programs have begun solving complex mathematical problems, like the Planar Unit Distance Problem, by challenging existing assumptions and finding counterexamples. This approach, while sometimes lacking intuitive understanding, has led to new discoveries and sparked debate about the role of automation in mathematical research. Mathematicians are now considering how to balance the benefits of AI with the need for conceptual understanding and open collaboration.
