Eine in der Fachzeitschrift Science veröffentlichte Studie zeigt, dass Google Deepminds KI-System AlphaProof Nexus Dutzende ungelöste mathematische Probleme eigenständig gelöst hat. Das System knackte neun von 353 offenen Erdős-Problemen, darunter zwei seit 56 Jahren ungelöste Fälle, bewies 44 Vermu