2026 é o ano dos métodos formais em ML.