Computer löst 400 Jahre altes Mathematik-Problem
Schon 1611 behauptete Johannes Kepler, dass die effizienteste Form, Kugeln zu stapeln, eine Pyramide sei – z. B. beim Herrichten von Orangen für den Verkauf. Leider konnte er es nicht beweisen- Ein Computer hat das nun getan, und damit Jahrhunderte alte Debatten beendet.