Im Detail
- Finanzierung: $27M Seed, geführt von Khosla Ventures; Beteiligte: Accel, Boldcap, Nexus, Premji Invest, Unbound
- Ansatz: LLM‑Frontend kombiniert mit deterministischer Verifikationsschicht basierend auf LEAN‑ähnlichen Tools und Domain‑Expert:innen
- Zielbranchen: Recht, Drug Discovery, Steuerwesen; Beispiele: Zusammenarbeit mit Ex‑IRS‑Kommissar Danny Werfel für Steuer‑Use‑Cases
Warum es zählt
Formale Verifikation kann die Zuverlässigkeit von KI in hochriskanten Geschäftsprozessen erhöhen und Fehlerkosten senken — relevant für Unternehmen, die KI in regulierten oder haftungs‑sensitiven Bereichen einsetzen wollen.
Für dich Beurteile, ob kritische Prozesse in deinem Unternehmen von einer verifizierten KI‑Schicht profitieren; bei Pilotprojekten auf Nachweise für deterministische Prüfungen und Expert:innen‑Überwachung bestehen.