400 Years Ago, A Famous Mathematician Couldn't Confirm His Theory - Computers Did It Two Days Ago
But he was unable to prove it in a mathematically satisfactory way, and the idea remained unproven for 400 years.
New Scientist reports that a scientist named Thomas Hales successfully confirmed Kepler's hypothesis to be true this past Sunday with help from a computer.
Hales first proved it himself by hand in a 300-page paper in 1998, but his solution was only deemed 99% certain to be correct. Seeking that last 1% of certainty, he enlisted help from computers under what he called "The Flyspeck Project."
Two computer programs, Isabelle and HOL Light, went to work formally validating each of the steps in logic required to arrive at the conclusion that spheres are most efficiently arranged in a pyramid shape.
Sure, Hales is glad at having his hard work confirmed to be totally correct, but the real significance of the Flyspeck Project is that computers can do the tedious work of double-checking logical proofs while mathematicians are left to ponder their next great problems.
"This technology cuts the mathematical referees out of the verification process," Hales told New Scientist. "Their opinion about the correctness of the proof no longer matters."
Grocers around the world rejoice as they continue stacking oranges the way they always have.
- US buys 81 Soviet-era combat aircraft from Russia's ally costing on average less than $20,000 each, report says
- 2 states where home prices are falling because there are too many houses and not enough buyers
- A couple accidentally shipped their cat in an Amazon return package. It arrived safely 6 days later, hundreds of miles away.
- ICICI Bank shares climb nearly 5% after Q4 earnings; mcap soars by ₹36,555.4 crore
- Markets rebound sharply on buying in bank stocks firm global trends
- Bengaluru's rental income highest in Q1-2024, Mumbai next: Anarock report
- Rupee falls 10 paise to settle at 83.48 against US dollar
- Include 4 hrs of physical activity, 8 hrs sleep in routine for optimal health, suggests study