Künstliche Intelligenz, KI, Artificial Intelligence, AI, Quantencomputer, Robotik, ChatGPT, Grok, Transhumanismus

Hat GPT-5.6 das Unmögliche geschafft? OpenAI gibt an, dass GPT-5.6 Sol Ultra einen vollständigen Beweis für die "Cycle Double Cover Conjecture" gefunden hat, ein Rätsel der Graphentheorie, das Mathematiker seit fast 50 Jahren beschäftigt. Das Modell arbeitete nicht allein. Berichten zufolge wurden 64 KI-Agenten parallel eingesetzt, die jeweils unterschiedliche Ansätze verfolgten, bevor ihre Ergebnisse zu einem einzigen Beweis zusammengeführt wurden – und das alles in weniger als einer Stunde. Nun kommt die eigentliche Herausforderung: menschliche Mathematiker. Der Beweis muss noch monatelang (oder sogar jahrelang) einer Expertenprüfung standhalten, bevor er offiziell akzeptiert wird. Wenn dies der Fall ist, könnte dies zu einem der größten Meilensteine in der wissenschaftlichen Entdeckung mit Hilfe von KI werden.