Nemůžu se dočkat, co přijde s autoformalizací v roce 2026