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.

© Oksana Osypenko / Getty Images / iStock