Seit Ende des vergangenen Jahres wurde in den Medien vermehrt darüber berichtet, dass Künstliche Intelligenz erstmals eigenständig mathematische Theoreme gelöst habe, die zuvor jahrzehntelang unbewiesen waren. Und auf den ersten Blick scheinen diese Leistungen einen beachtlichen Fortschritt im Bereich der KI-Forschung darzustellen. Doch was hat...