🚀 Gauss ha appena autoformalizzato la prova della congettura di Kakeya per i campi finiti! 🧵 (1/5)