🚀 ¡Gauss acaba de autoformalizar la prueba de la conjetura de Kakeya para campos finitos! 🧵 (1/5)