🚀 Gauss tocmai a autoformalizat demonstrația conjecturii Kakeya pentru corpuri finite! 🧵 (1/5)