In diesem Kommentar betrachten wir, wie Werkzeuge der künstlichen Intelligenz die mathematische Forschung neu gestalten, und diskutieren, wie zukünftige Entwicklungen dieser Technologie die mathematische Praxis verändern werden.