ケプラー予想の証明100％終わる！400年もかかった数学の難問

---

0名前を書き忘れた受験生 2014/08/14 04:16 　5348view

---

ケプラー予想の証明がついに100％終わりました。

簡単に言えば

ケプラーが1611年に提唱したケプラーの球体充填問題。

「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」

という理論の証明。

いままで99％証明されていたが、コンピューターを使うことによって100％証明された。


https://code.google.com/p/flyspeck/wiki/AnnouncingCompletion

---