OpenAIs GPT-5.6 Sol Ultra löst angeblich 50 Jahre altes Mathe-Problem in unter einer Stunde

OpenAIs GPT-5.6 Sol Ultra hat angeblich mit 64 parallel arbeitenden Subagenten in unter einer Stunde einen Beweis für die seit 50 Jahren ungelöste Cycle Double Cover Conjecture erbracht, wobei Mathematiker die Elementarität des Beweises anerkennen, aber kritische Quellenangaben vermissen. Die grundsätzliche Frage bleibt, ob KI-Systeme hier eigenständig neue mathematische Erkenntnisse generieren oder lediglich existierendes Wissen kombinieren – ein Aspekt mit potenziellen Konsequenzen für die Anerkennung von Erfinderschaften und Urheberschaften im Recht.