Wie die Verifizierung funktioniert: Die Prüfung hinter jeder exportierten Zahl

Eine Zahl in einem Board-Pack ist nur so gut wie Ihre Fähigkeit, sie zu verteidigen, wenn jemand nachfragt. Die meisten KI-Tools überspringen genau diesen Teil – sie erzählen flüssig zu einer Zahl, ohne zu prüfen, ob sie mit allem anderen im Modell konsistent ist. Rexfins Verifizierer schließt diese Lücke: Bevor eine Zahl exportiert wird, wird sie gegen die buchhalterischen Identitäten geprüft, die gelten müssen, damit sie real ist – mit exakter Arithmetik statt einer Näherung.

Jede Zahl muss zuerst verankert sein

Bevor irgendeine Identität geprüft wird, muss jede numerische Aussage auf eine konkrete Quelle zurückgeführt werden. Rexfin nennt das Verankerung: Eine Zahl wird mit dem zugrunde liegenden Fakt abgeglichen, aus dem sie stammt – dem Fakt hinter dem Zitat im Herkunftsnachweis – nach Wert, nach dem, was sie darstellt, und nach Periode und Entität, für die sie gilt. Zwei Posten, die zufällig denselben Wert teilen, gleichen sich nicht einfach ab, nur weil die Zahlen übereinstimmen. Lässt sich eine Zahl mit nichts abgleichen, wird sie als nicht verifizierbar markiert, und auf der Antwortseite ist das ein harter Stopp: Der Satz wird verweigert statt ausgeliefert – dieselbe Haltung wie bei der Datenerfassung, nur eine Ebene tiefer in der Arithmetik. Eine Zahl braucht außerdem eine Bestätigung durch mehr als eine unabhängige Lesung der Quellseite, bevor sie ohne Vorbehalt zitiert wird; ein Treffer aus nur einer Lesung wird mit geringerer Zuversicht angezeigt und kann eine harte Prüfung allein nicht erfüllen.

Zwei Arten von Zahlen, zwei Arten von Fehlschlag

Sobald Zahlen verankert sind, prüft die Verifizierung, ob die buchhalterischen Identitäten, die gelten sollten, auch tatsächlich gelten: Aktiva gleich Passiva plus Eigenkapital, und operativer, Investitions- und Finanzierungs-Cashflow plus Währungseffekt ergeben zusammen die tatsächliche Veränderung der liquiden Mittel. Das sind keine neuen Prüfungen – es sind Identitäten, von denen jeder Buchhalter längst weiß, dass sie gelten müssen. Neu ist, dass Rexfin sie tatsächlich ausführt, für jede relevante Periode, statt sie als Behauptung stehen zu lassen, die niemand durchsetzt.

Das Ergebnis hängt davon ab, woher die Zahlen stammen. Lässt sich jeder Operand auf eine tatsächliche Zahl aus der Einreichung zurückführen, gilt ein Fehlschlag als real und blockiert den Export – ein Board-Pack, dessen Bilanz nicht aufgeht, wird nicht ausgeliefert. Ist stattdessen irgendein Operand eine modellierte Zahl oder eine Prognose, bleibt ein Fehlschlag stets nur eine Warnung. Prognosen dürfen falsch liegen, wie Prognosen das eben tun; geprüfte Ist-Zahlen dürfen das nicht.

Exakte Mathematik statt Fließkomma-Näherung

Abschlüsse werden gerundet gedruckt – auf das nächste Tausend, manchmal Million. Ein Verifizierer, der auf exakte Gleichheit prüft, würde jeden korrekt erstellten Abschluss an trivialer Rundung scheitern lassen, und einer, der gewöhnliche Fließkomma-Mathematik nutzt, kann bei langen Summen großer Zahlen eigene kleine Fehler einführen. Rexfin rechnet stattdessen mit exakten rationalen Zahlen und nutzt eine Toleranz, die sich an Größe und Rundung des Abschlusses skaliert statt an einem festen Betrag. Eine auf Tausend gerundete, korrekte Bilanz besteht die Prüfung; eine, die um einen echten Betrag daneben liegt, scheitert – mit einer exakt ausgewiesenen Differenz. Das macht die Prüfung außerdem deterministisch – dieselben Zahlen zweimal durchgerechnet ergeben das identische Resultat –, und genau das erlaubt es, eine Zahl reproduzierbar zu nennen statt nur plausibel.

Wenn sie es nicht sicher weiß, sagt sie es – sie rät nicht

Konzernabschlüsse weisen Zahlen häufig auf mehr als einer Konsolidierungsebene aus – nur Muttergesellschaft und konsolidiert –, und sie zu vermischen erzeugt eine selbstbewusst falsche Antwort, die richtig aussieht. Existiert die Zahl, die eine Prüfung auf einer Ebene braucht, nur auf der anderen, wird die Prüfung als ungeklärt markiert, statt sie mit dem aufzufüllen, was gerade verfügbar ist. Ein falsches, aber selbstbewusstes Urteil ist schlimmer als ein ehrliches „konnte das nicht prüfen”, weil es als Beweis für Korrektheit zitiert wird, während es falsch ist.

Dieselbe Disziplin zeigt sich darin, wie Definitionen gewählt werden: Eigenkapital in der Bilanzprüfung schließt Minderheitsanteile ein, weil sie wegzulassen jeden Konzernabschluss mit einer teilweise gehaltenen, tatsächlich korrekten Tochtergesellschaft scheitern ließe, und die Kapitalflussprüfung berücksichtigt den Effekt von Wechselkursbewegungen auf die liquiden Mittel, weil ihn wegzulassen den Abgleich bei jedem Unternehmen bricht, das in mehr als einer Währung tätig ist – Entscheidungen, die dem tatsächlichen Funktionieren von IFRS-Zahlen entsprechen, nicht einer Lehrbuch-Vereinfachung.

Jede Prüfung kommt mit einer lückenlosen Nachverfolgung

Ob eine Identität besteht oder scheitert, das Ergebnis trägt die Spur zurück zur Quelle: Jede Zahl löst sich zur genauen Seite auf, von der sie stammt. Bei einer bestandenen Prüfung ist das eine Formalität. Bei einem Fehlschlag ist es der ganze Punkt – „die Bilanz geht nicht auf” ist für sich genommen nutzlos, aber „die Bilanz geht nicht auf, und hier sind die vier Zahlen mit ihren Quellseiten” ist etwas, mit dem ein Prüfer arbeiten kann. Das ist dieselbe Audit-Log-Disziplin, die sich durch jede materielle Aktion in der Plattform zieht, hier angewendet auf die Arithmetik.

Für wen das gebraucht wird

Wenn Ihnen schon einmal ein KI-Tool eine selbstbewusste Zahl präsentiert hat, ohne dass Sie sie prüfen konnten, oder Sie zugesehen haben, wie eine Tabelle nur „aufging”, weil jemand eine Differenz in ein Verrechnungskonto gebucht hat: Genau das soll die Verifizierung leise verhindern. Sie ist es, die einem CFO erlaubt, einem Board, einem Kreditgeber oder einem Wirtschaftsprüfer eine Zahl vorzulegen und nicht nur zu sagen „das ist unsere Zahl”, sondern „hier ist, warum sie stimmen muss”. Lesen Sie mehr über den kanonischen Atom-Store, auf den sie zurückgreift, sehen Sie den Themenüberblick für den Rest der Plattform, oder buchen Sie eine Demo, um eine absichtlich fehlerhafte Einreichung live erwischt zu sehen.