Kan knappt vänta på vad som kommer med autoformalisering 2026