KI bezwingt die Mathematik: Welches Millennium-Problem fällt als Nächstes?

Hodge, Birch-Swinnerton-Dyer – oder gar Riemann? Nach der Lösung des Navier-Stokes-Problems spekulieren viele, welche große ungelöste Frage KI-Modelle bald beantworten werden.