2026 er året for formelle metoder i ML.