🚀 Gauss har nettopp autoformalisert beviset for Kakeya-formodningen for endelige kropper! 🧵 (1/5)