🚀 Gauss, sonlu alanlar için Kakeya varsayımının ispatını otomatik biçimlendirdi! 🧵 (1/5)