🚀 Gauss har just autoformaliserat beviset av Kakeya-förmodan för ändliga kroppar! 🧵 (1/5)