Mathematicians deliver formal proof of Kepler Conjecture

[rangerrebew]

Mathematicians deliver formal proof of Kepler Conjecture
June 16, 2017

A team led by mathematician Thomas Hales has delivered a formal proof of the Kepler Conjecture, which is the definitive resolution of a problem that had gone unsolved for more than 300 years. The paper is now available online through Forum of Mathematics, Pi, an open access journal published by Cambridge University Press. This paper not only settles a centuries-old mathematical problem, but is also a major advance in computer verification of complex mathematical proofs.

The Kepler Conjecture was a famous problem in discrete geometry, which asked for the most efficient way to cram spheres into a given space. The answer, while not difficult to guess (it's exactly how oranges are stacked in a supermarket), had been remarkably difficult to prove. Hales and Ferguson originally announced a proof in 1998, but the solution was so long and complicated that a team of a dozen referees spent years working on checking it before giving up.


Read more at: https://phys.org/news/2017-06-mathematicians-formal-proof-kepler-conjecture.html#jCp

[ABX]

Sometimes we may think these 'proofs' like this sound silly, but as we move toward automating many of the things we do, even the simplest tasks, if spelled out mathematically, are highly complex. This is a great example of that.

[driftdiver]

Sometimes we may think these 'proofs' like this sound silly, but as we move toward automating many of the things we do, even the simplest tasks, if spelled out mathematically, are highly complex. This is a great example of that.

Now we can automate orange stacking.  Jk

[endicom]

But why do Ruffles have ridges?

[Smokin Joe]

But why do Ruffles have ridges?

To increase their strength for dragging them through onion dip. They're a little thicker, too.

[endicom]

To increase their strength for dragging them through onion dip. They're a little thicker, too.

SSS (f)dip dx

I think that works.

[catfish1957]

But why do Ruffles have ridges?

To reduce bacteriological contamination due to  these folks......

[bigheadfred]

To reduce bacteriological contamination due to  these folks......

Right. Ribbed for your protection.

[Smokin Joe]

Right. Ribbed for your protection.

I think that was just for sensation. Seems to me the ribs would harbor even more bacteria, especially if there is drool involved.

[bigheadfred]

I think that was just for sensation. Seems to me the ribs would harbor even more bacteria, especially if there is drool involved.

You think?  But you're not sure.

Juuust ribbing ya.

Sensationalize it all you want.

[Smokin Joe]

You think?  But you're not sure.

Juuust ribbing ya.

Sensationalize it all you want.

I wasn't the one feeling it. I like my chips plain...

[Suppressed]

To increase their strength for dragging them through onion dip. They're a little thicker, too.

Plus, greater surface area per chip.  Increases flavor per chip.

[Gefn]

Plus, greater surface area per chip.  Increases flavor per chip.

I wonder if it will work with chocolate chip cookies....