2026 ist das Jahr der formalen Methoden im ML.