برهان أخيرًا على تخمين رياضي عمره 50 عامًا: تخمين مكي

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