Warum die legendären Erdős-Probleme der KI zum Opfer fallen

Why the Legendary Erdős Problems Are Falling to AI

OpenAI-Modelle haben mehrere Vermutungen von Paul Erdős gelöst, darunter das Unit-Distance-Problem, und damit eine neue Ära der KI-gestützten Mathematik eingeläutet. Der Artikel untersucht, wie die Website erdosproblems.com von Thomas Bloom zur zentralen Plattform für diese Entwicklung wurde und wie Amateur- und Profi-Mathematiker wie Terence Tao mit KI-Tools zusammenarbeiten, um offene Probleme zu knacken.