🚀 Gauss vient de formaliser automatiquement la preuve de la conjecture de Kakeya pour les corps finis ! 🧵 (1/5)