Neues KI-Modell für komplexe Probleme: Alibaba-Forscher stellen Marco-o1 vor