2026 este anul metodelor formale în ML.