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