2026 год — это год формальных методов в ML.