Rok 2026 je rokem formálních metod ve strojovém učení.