2026 är året för formella metoder i ML.