Künstliche Intelligenz löst ein 80 Jahre altes Mathe-Rätsel. «Problem-Prompting» könnte die Zukunft der Mathematik sein (Neue Zürcher Zeitung)

Die Mathematik gilt als Domäne des strengen Beweises. Aber eigentlich lässt sie sich ebenso treffend als Reich des Unbewiesenen charakterisieren. Sie lebt von der Kunst des Vermutens. Der ungarische Mathematiker Paul Erdős (1913 bis 1996) war