OpenAIs GPT-5.6 Sol Ultra hat einen Beweis für die jahrzehntealte mathematische 'Cycle Double Cover Conjecture' erzeugt.

Dies unterstreicht die wachsende Fähigkeit von KI-Modellen, komplexe wissenschaftliche Probleme anzugehen, wirft aber auch Fragen zur Überprüfung solcher KI-generierter Beweise auf.

KI-generiert: Die Zusammenfassungen schreibt eine KI auf Grundlage der verlinkten Quellen. So nutzen wir KI