KI Intelligence10.07.2026KI Intelligence
Artikel
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.
Data Cube AI RedaktionQuelle: Hacker News
01
Source Brief
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.