Ich kann es kaum erwarten, was mit der Autoformalisierung im Jahr 2026 kommt.