2026 est l'année des méthodes formelles en ML.