2026 to rok formalnych metod w ML.