Erfahre, wie Google DeepMind’s KI-Modelle AlphaProof und AlphaGeometry 2 beeindruckende Erfolge bei der Lösung von Problemen der International Mathematical Olympiad erzielt haben und was dies für die Zukunft der mathematischen Problemlösung bedeutet.