ChatGPT: KI löst erstmals eigenständig ein jahrzehntealtes Matheproblem

Seit 1975 war eine Frage des legendären Mathematikers Paul Erdős offen. Doch nun hat ChatGPT es geschafft, eigenständig einen Beweis zu führen.