هناك مبرهنات وحدسيات رياضية ظلت عصية على الحل لقرون عديدة ...والامثلة على ذلك كثيرة ومنها ماتم اثباته بالبرهان اليدوى ومنها ماتم برهنته بالحاسوب لإحتوائه على الكثير من العمليات الحسابية المعقدة.....