Im Detail
- Finanzierung: 9 Mio. USD Seed von Andreessen Horowitz.
- Produkt: Data‑science‑Tool, das Antworten mit Zitaten und Audit‑Trail liefert und erste Validierung gegen deterministische Validatoren durchführt.
- Technik: LLM‑Antworten werden vom Validator geprüft; Modell wird gegen Validator trainiert und Systemoptimierung erlaubt Einsatz deutlich schwächerer Modelle, die lokal laufen.
Warum es zählt
Für Unternehmen ist zuverlässige, nachvollziehbare KI‑Ausgabe zentral — Probablys Ansatz verringert Halluzinationen und Kosten, weil schwächere Modelle lokal nutzbar werden.
Für dich Prüfe bei KI‑Projekten, wie Ausgabesicherheit und Auditierbarkeit gelöst sind; erwäge Proof‑of‑Concepts mit Validator‑Harnesses, um Kosten und Fehlerrisiken zu senken.