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