🚀 Gauss только что автоформализовал доказательство гипотезы Какеи для конечных полей! 🧵 (1/5)