heise.de › news Leanstral 1.5: Formale Beweise für 4 Dollar statt 300 Dollar pro Aufgabe … Das Modell steht als freier API-Endpunkt sowie über Hugging Face zum Self-Hosting bereit. … Jul 6, 2026 · Carolin Riethmüller