Ein offenes Sprachmodell für Mathematik: LLEMMA

LLEMMA, ein großes Sprachmodell für Mathematik, übertrifft alle bekannten offenen Basismodelle sowie die unveröffentlichten Minerva-Modelle in Bezug auf mathematische Fähigkeiten. LLEMMA kann darüber hinaus ohne weitere Feinabstimmung Werkzeugnutzung und formalen Theorembeweisen durchführen.