🚀 Gauss heeft zojuist het bewijs van de Kakeya-conjectuur voor eindige velden automatisch geformaliseerd! 🧵 (1/5)