Seit 80 Jahren haben Mathematiker versucht, eine Vermutung ihres legendären Kollegen Paul Erdős zu beweisen.
Nun hat ein Sprachmodell von OpenAI ein Gegenbeispiel gefunden – Erdős hat sich geirrt.
Nun hat ein Sprachmodell von OpenAI ein Gegenbeispiel gefunden – Erdős hat sich geirrt.