Der Mathematiker Terence Tao dokumentiert einen bedeutenden Fortschritt bei der Anwendung von KI auf mathematische Fragestellungen. Gleichzeitig macht er auf die Gefahren aufmerksam, voreilige Schlüsse über die Leistungsfähigkeit dieser Systeme zu ziehen.
Der Mathematiker Paul Erdős formulierte im Verlauf seiner Karriere Hunderte offener Probleme. Diese sogenannten Erdős-Probleme unterscheiden sich erheblich in ihrer Komplexität: Einige zählen zu den schwierigsten ungelösten Fragen der Mathematik, während andere eher nebensächlicher Natur sind und nie umfassend untersucht wurden. Eine Plattform namens erdosproblems.com sammelt diese Probleme und verfolgt ihren Status.
Laut Terence Tao hat die Verwendung von KI-Tools zur Lösung dieser Herausforderungen nun einen entscheidenden Meilenstein erreicht: Problem #728 wurde „mehr oder weniger autonom“ von ChatGPT gelöst, ganz im Sinne der ursprünglichen Fragestellung und ohne dass eine entsprechende Lösung in der bestehenden Literatur gefunden werden konnte.
KI Snack
