کنت اپل (Kenneth Appel) یکی از اولین ریاضیدانانی که با استفاده از رایانه موفق به اثبات یک قضیه مشهور ریاضی شد، در سن 80 سالگی درگذشت. اپل در سال 1977، قضیه چهار رنگ را اثبات کرد. این قضیه نخستین بار در سال 1852 توسط یک نقشه‌کش انگلیسی مطرح شد و گرچه حقیقی‌بودن آن بدیهی به نظر می‌رسید، اما دهه‌ها ذهن ریاضی‌دانان را به خود مشغول کرده بود. برای اثبات آن، اپل و همکارش هکن ابتدا نشان دادند که تمامی نقشه‌های ممکن را می‌توان به مجموعه‌ای از یک هزار و 936 شکل کاهش داد. آنها سپس برای ثابت‌کردن این قضیه، تمامی این اشکال را با استفاده از ابررایانه IBM آزمایش کردند. در آن زمان این ابررایانه یک اتاق کامل را اشغال می‌کرد، اما قدرت آن از یک گوشی‌هوشمند امروزی کمتر بود. استفاده از ابرکامپیوتر برای اثبات یک قضیه ریاضی در آن زمان موفقیتی بزرگ به شمار می‌رفت. این ریاضیدانان در 19 آوریل 2013 از دنیا رفت.