Spektrum 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.
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.