ケプラー予想は決着がついたか？

ケプラー予想とは、「三次元ユークリッド空間内に等しい大きさの球体を最も密に充填するのは立方最密充填および六方最密充填である」という予想ですが、トマスへイルズという数学者が、1990年代にコンピュータシミュレーションによって実証したと発表しています。しかし、その後の査読によって99％正しいが、100％とはいえないという判断が下り、これを受け、2003年にへイルズは予想の完全に形式的証明を行う共同プロジェクトを立ち上げ、2014年、結果発表、2015年に『ケプラー予想の形式的証明』という論分を公開したということです。しかし、論分が公開されたという記述が見られるだけで、結局、証明が完成したのかはっきりわかりません。まだ査読中ということなのでしょうか？知っておられる方がいれば教えていただければ幸いです。

No.1 回答者： ngkdddjkk 回答日時： 2016/08/23 19:18

知らね

XRDで最密充填の中に何か入ったってデータも聞いたことあるし。

この回答へのお礼

ありがとうございました。

お礼日時：2016/08/24 12:56