---
title: "GPT-5.6 Sol beweist die Hypothese der doppelten Zyklusüberdeckung, an der 50 Jahre gearbeitet wurde"
description: "OpenAI hat das Modell GPT-5.6 Sol vorgestellt, das die Hypothese der doppelten Zyklusüberdeckung bewiesen hat, an der Wissenschaftler seit über 50 Jahren gearbeitet haben. 🤖📐 Die KI nutzte 64 parallele Agenten und fand die Lösung in 8 Stunden. Dies eröffnet eine neue Ära in der mathematischen Forschung! 🚀"
date: 2026-07-16T15:34:51.000Z
lang: de
url: https://xab.info/de/posts/gpt-5-6-sol-beweist-die-hypothese-der-doppelten-zyklusueberdeckung-de
tags: [openai, gpt-5-6-sol, cycle-double-cover-conjecture, noga-alon, andrew-sutherland]
publisher: "XAB.info"
---

# GPT-5.6 Sol beweist die Hypothese der doppelten Zyklusüberdeckung, an der 50 Jahre gearbeitet wurde

![Laptop mit Visualisierung von Wellenzyklen und digitalen Daten, das den Beweis der Hypothese über doppelte Zyklusabdeckung durch GPT-5.6 Sol symbolisiert](https://xab.info/media/2026/07/16/gpt-5-6-sol-dokazala-gipotezu-o-dvoynom-pokrytii-tsiklov/gpt-5-6-sol-dokazala-gipotezu-o-dvoynom-pokrytii-tsiklov-1.webp)

OpenAI hat einen bahnbrechenden Fortschritt im Bereich der künstlichen Intelligenz und Mathematik angekündigt. Das neue Modell GPT-5.6 Sol konnte die Hypothese der doppelten Zyklusüberdeckung (Cycle Double Cover Conjecture) beweisen, die seit mehr als einem halben Jahrhundert ungelöst war. Der erfolgreiche Beweis wurde gleichzeitig mit der Veröffentlichung der neuen KI-Modellversion erzielt.

### Das Rätsel der Graphentheorie

Die in den 1970er Jahren formulierte Hypothese gehört zum Bereich der Graphentheorie, die sich mit Knoten und den sie verbindenden Kanten beschäftigt. Sie besagt, dass praktisch jeder Graph eine doppelte Überdeckung durch Zyklen zulässt, bei der jede Kante genau in zwei geschlossene Schleifen eingeht. Bisher, wie das renommierte populärwissenschaftliche Magazin Scientific American feststellt, gelang es Mathematikern, dies nur für einzelne Klassen von Graphen zu beweisen, eine allgemeine Lösung konnte jedoch nicht gefunden werden.

### Lösung durch KI

Der mit GPT-5.6 Sol erstellte Beweis zeigt, dass jeder Graph, der die Bedingungen der Hypothese erfüllt, mit nicht mehr als acht speziell ausgewählten Zyklen überdeckt werden kann. Nach Ansicht des Mathematikers Noga Alon von der Princeton University ist das erzielte Ergebnis ein weiterer Beleg dafür, dass Werkzeuge der künstlichen Intelligenz bereits einen erheblichen Einfluss auf die moderne mathematische Forschung haben.

### Wie es gemacht wurde

Um den Beweis zu erhalten, verwendete OpenAI einen speziellen Prompt, der zusammen mit den Ergebnissen der Arbeit veröffentlicht wurde. Insbesondere wurde dem Modell vorgeschlagen, die Lösung auf 64 parallel arbeitende Agenten zu verteilen und die Suche nach einer Lösung nicht einzustellen, auch wenn die Aufgabe als ungelöst gilt. Darüber hinaus empfahlen die Entwickler dem Modell, mindestens acht Stunden lang nach einem Beweis zu suchen, bevor es von weiteren Versuchen absehen sollte.

### Die Zukunft der mathematischen Forschung

Der Mathematiker Andrew Sutherland vom Massachusetts Institute of Technology (MIT) vermutet, dass ähnliche Fälle in Zukunft wiederholt auftreten könnten. Nach seinen Worten gewinnen einige Aufgaben den Ruf, besonders schwierig zu sein, weshalb Forscher ihnen weniger Aufmerksamkeit schenken, während große Sprachmodelle in der Lage sind, bereits vorhandene Methoden zu kombinieren und relativ einfache Lösungen für seit langem bekannte mathematische Hypothesen zu finden.