تمكنت مجموعة من العلماء في الولايات المتحدة من إثبات صحة النظرية القائلة أن أفضل طريقة لترتيب أجسام كروية مثل البرتقال والبطيخ هي على شكل هرم.وكانت النظرية «الحسابية» ظهرت لأول مرة عام 1611 على يد عالم الرياضيات الألماني يوهانز كيبلر.وأكد الأستاذ في جامعة بيتسبرغ، د. توماس هيلز أنه تمكن أخيراً من إثبات صحة هذه النظرية بشكل قاطع.وأضاف هيلز الذي سعى لإثبات النظرية منذ عام 1998 أنه استعمل برنامجي كمبيوتر للتدقيق في مدى صحة النظريات الحسابية المعقدة.وأعرب هيلز عن سعادته بهذا الإنجاز، وقال: «أشعر أنني أصغر سناً الآن بعشر سنوات».