Künstliche Intelligenz: Eine KI könnte die Mathematik-Olympiade gewinnen
Bislang scheiterten Computer daran, komplizierte mathematische Aussagen zu beweisen. Doch nun gelang es der KI AlphaGeometry, dutzende Aufgaben der Mathematik-Olympiade zu lösen.