KI beweist 50 Jahre alte Vermutung – wohin steuert die Mathematik?

Is mathematics about to enter the conservatory?

In derselben Woche, in der Claude den Beweis der Fermatschen Vermutung in Lean formalisierte, erschien ein Preprint, das die seit 1974 offene Sphärische-Hadwiger-Vermutung mit KI-Unterstützung beweist. Der Autor, selbst Mathematiker, reflektiert über die wachsende Rolle von KI in der Mathematik und fragt, ob die Disziplin wie die klassische Musik ins Konservatorium verbannt wird – ein kulturelles Erbe, das nur noch von wenigen gepflegt wird. Er diskutiert die Implikationen für Anreizsysteme, Finanzierung und die Frage, wie Menschen auch in einer von KI dominierten Mathematik relevant bleiben können.