据英国广播公司报道,美国密歇根大学黑尔斯教授宣布说,他已经借助计算机证明了悬而未决300多年的“开普勒猜想”。 “开普勒猜想”又称“圆球堆积问题”。这一问题利用日常生活中的例子可简单表述为:如果往一个箱子中放置大小一样的球,采用何种方式排列球能够使得箱子利用效率最高,即放得球最多。 According to a report by the BBC, Professor Hale of the University of Michigan announced that he had already used computers to prove the “Kepler conjecture” that has been pending for more than 300 years. “Kepler conjecture,” also known as “ball accumulation problem.” Using this example in everyday life, the problem can be simply stated as follows: If balls are placed in the same box, the arrangement of the balls can make the box use the most efficiency, that is, put the ball up.