Wenn Maschinen Algorithmen erfinden — und warum P vs. NP trotzdem ungelöst bleibt
Von AlphaTensor bis AlphaEvolve: Wie KI neue Algorithmen entdeckt, formale Beweise auf Olympiad-Niveau führt — und warum das Millennium-Problem P-vs-NP davon trotzdem unberührt bleibt.