🚀 ¡Gauss acaba de autoformalizar la demostración de la conjetura de Kakeya para cuerpos finitos! 🧵 (1/5)