Künstliche Intelligenz kann Aufgaben auf Schul- und Hochschulniveau lösen und glänzt in der Mathe-Olympiade. Jetzt hat sie sogar einen mathematischen Beweis geführt, an dem sich Top-Wissenschaftler jahrzehntelang die Zähne ausgebissen hatten. Das hat Folgen für den Schulunterricht, die Lehre an Universitäten und alle Disziplinen, in denen tiefes und logisches Denken gefragt ist.