Die Rolle von KI in der mathematischen Entdeckung: Apriorisches Wissen in einer Ära der Rechenschaftsopazität

KI-Systeme wie tiefe neuronale Netze und große Sprachmodelle können zwar wertvolle Erkenntnisse in der Mathematik liefern, aber ihre innere Arbeitsweise ist für uns oft intransparent. Dennoch können Mathematiker durch den Einsatz eines transparenten Beweischeckprogramms apriorisches mathematisches Wissen aus der Ausgabe solcher opaker Systeme gewinnen.