美一科学家宣布他已证明“开普勒猜想”

Newton1983

美一科学家宣布他已证明“开普勒猜想”
  
       新华社伦敦８月１１日电（记者毛磊）据英国广播公
  司报道，美国密歇根大学黑尔斯教授宣布说，他已经借助
  计算机证明了悬而未决３００多年的“开普勒猜想”。
      “开普勒猜想”又称“圆球堆积问题”。这一问题利
  用日常生活中的例子可简单表述为：如果往一个箱子中放
  置大小一样的球，采用何种方式排列球能够使得箱子利用
  效率最高，即放得球最多。
      “圆球堆积问题”于１７世纪由一位名叫雷利的英国
  爵士首先向英国数学家哈里奥特提出，哈里奥特随后写信
  给德国著名天文学家开普勒，向其寻求解决方案。开普勒
  于１６１１年提出，圆球最有效的排列应该是采取所谓的
  “面心立方体”堆积方式，这就是“开普勒猜想”的由来
  。
      “开普勒猜想”中提到的“面心立方体”堆积方式，
  简单地说就是上层圆球安放在下一层圆球中间的各个凹处
  。这一方法在日常生活中已经被人们广泛采用。但由于圆
  球在空间中堆积可以采取无限的排列方式，因此自开普勒
  提出猜想以来，几代科学家都无法从理论上给出有说服力
  的证明。
      １９５３年，匈牙利数学家托特的研究为解决该问题
  带来希望。托特经过研究发现，“开普勒猜想”可简化为
  有限个变量，因此只要借助功能足够强大的计算机，这一
  问题能够解决。
      黑尔斯教授近年来一直在利用计算机从事“开普勒猜
  想”的研究。利用编制出的大小达到３０００兆字节以上
  的计算机程序，黑尔斯教授及其研究生弗格森证明，开普
  勒猜想所提出的堆积方式确实是最佳方式。据英国广播公
  司报道，黑尔斯教授已在因特网上公布了其证明“开普勒
  猜想”的具体过程。
      英国广播公司说，如果黑尔斯的这一结果最终得到数
  学界权威的认可，那将是继１９９４年英国数学家怀尔斯
  证明费尔马大定理以来，基础数学研究领域的又一项重大
  成果。

wendyff

宣布是宣布了
大家论证了没有呀？？

huaguoxiang

<>这可不是一天两天的事情了</P><>呵呵</P><>何况历史上有很多人声称自己完成了1＋1的证明，可是结果呢？</P>

aijinlin

我不相信。