🚀 Gauss acabou de autoformalizar a prova da conjectura de Kakeya para corpos finitos! 🧵 (1/5)