🚀 Gauss juuri autoformalisoitui Kakeya-konjektuurin todistuksen äärellisille kentille! 🧵 (1/5)