به گزارش گروه وبگردي باشگاه خبرنگاران ؛ اپل در سال 1979، قضیه چهار رنگ را اثبات كرد. بر اساس این قضیه، می‌توان فقط با استفاده از چهار رنگ و بدون مرزبندی قلمروها با رنگ یكسان، یك نقشه را رنگ‌آمیزی كرد.
این قضیه نخستین بار در سال 1852 توسط یك نقشه‌كش انگلیسی مطرح شد و گرچه حقیقی‌بودن آن بدیهی به نظر می‌رسید، اما دهه‌ها ذهن ریاضیدانان را به خود مشغول كرده بود.
برای اثبات آن، اپل و همكارانش ابتدا نشان دادند كه تمامی نقشه‌های ممكن را می‌توان به مجموعه‌ای از یك هزار و 936 شكل كاهش داد. آنها سپس برای ثابت‌كردن این قضیه، تمامی این اشكال را با استفاده از ابررایانه IBM آزمایش كردند.
در آن زمان این ابررایانه یك اتاق كامل را اشغال می‌كرد اما قدرت آن از یك گوشی‌هوشمند امروزی كمتر بود.
استفاده از ابركامپیوتر برای اثبات یك قضیه ریاضی در آن زمان موفقیتی بزرگ به شمار می‌رفت.
نیویورك تایمز تاریخ مرگ این ریاضیدانان را 19 آوریل اعلام كرده است.