Introspectum

KI schreibt Code schneller, als ihn jemand prüfen kann

Wir bauen Software, die man prüft, statt ihr zu vertrauen: von der Anforderung bis zum Code nachvollziehbar, bewiesen, wo es darauf ankommt, und offen für die Menschen, die für sie geradestehen.

In der Software Factory schreibt KI die Funktionsrümpfe; jeder wird gegen eine freigegebene Spezifikation geprüft. Scheitert ein Beweis, geht der Fehler an das Modell zurück, bis der Beweis gelingt. Dann folgt ein Zertifikat.

KI schreibt Code schneller, als ihn jemand prüfen kann

<sonar>{distrust, number, ::percent} der Entwicklerinnen und Entwickler vertrauen KI-generiertem Code nicht vollständig, und nur {verify, number, ::percent} prüfen ihn immer, bevor sie ihn einchecken.</sonar>

Auch die Prüfung ist aufwendiger: <sonar>{effort, number, ::percent} sagen, dass KI-generierter Code mehr Prüfaufwand verursacht als Code ihrer Kolleginnen und Kollegen.</sonar>

Kunden, Vertrieb und Buchhaltung in einem System, auf Ihrem eigenen Server

ERP & CRM hält alle Ihre Daten, auch das Personalwesen, in offenen Formaten. Der KI-Assistent liest die Bücher, kann aber nie darin buchen.

So testet sie eine Strategie

Trendfolgende Strategien für viele Aktien, simuliert getestet, bevor ihnen jemand vertraut. Forschung, keine Anlageberatung.

Wer wir sind

Introspectum Limited ist auf der Isle of Man registriert und wird von Fabian Klopfer geleitet, einem Informatiker, der bei IBM Deutschland Research & Development an Datenbank-Engines mit Codebasen von 10 bis 20 Millionen Zeilen gearbeitet hat.