KI löst 20 Jahre altes Mathe-Problem
Ein Neurochirurg aus Peking hat mit ChatGPT ein mathematisches Problem gelöst, an dem Mathematiker zwei Jahrzehnte gescheitert sind.
Ein Neurochirurg aus Peking hat mithilfe von ChatGPT die Kruz-Vermutung gelöst – ein mathematisches Problem, an dem Fachleute zwei Jahrzehnte lang gescheitert waren. Das Modell arbeitete autonom 16 Stunden lang und lieferte einen verifizierten Beweis.
