Ein Multi-Agenten-System für Bedingungsanalyse (MACM) ermöglicht es großen Sprachmodellen, komplexe mathematische Probleme effizient zu lösen, indem es die Bedingungen und das Ziel des Problems extrahiert und schrittweise neue, zielführende Bedingungen ableitet.
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.
Große Sprachmodelle zeigen zwar beträchtliche Fähigkeiten beim Lösen von Mathematikaufgaben, neigen aber dazu, Halluzinationen zu produzieren, wenn ihnen Fragen mit unvernünftigen Fehlern gestellt werden.