Der zuverlässigste Teil des Copilots ist der, den das Sprachmodell nie berührt
Lassen Sie ein Sprachmodell eine Logistikentscheidung planen, und Sie bekommen die statistisch wahrscheinlichste Antwort, nicht die günstigste. Also habe ich das Modell aus der Rechnung herausgehalten und die Arbeit in die Grenze dazwischen gesteckt.
Der zuverlässigste Teil meines agentischen Copilots für die Lieferkette ist der, den das Sprachmodell nie berührt.
Warum das zählt
Das Operations Research ist ein Zweig der angewandten Mathematik, der bis in die 1940er Jahre zurückreicht und hinter Flugplänen, Lkw-Touren, Werkstattplanung und dem Ausgleich von Lieferketten steht. Manche dieser Probleme haben eine beweisbar beste Antwort. Andere sind dafür mathematisch zu schwer, und das ehrliche Ziel ist die beste Lösung, die Sie in der verfügbaren Zeit belegen können.
Lassen Sie ein Sprachmodell eine dieser Entscheidungen planen, und Sie bekommen weder das eine noch das andere. Sie bekommen die statistisch wahrscheinlichste Antwort. Der eine Weg liefert die günstigste Route. Der andere liefert die Route, die günstig klingt.
Für eine Leitung der Lieferkette, die einen fünfstelligen Logistikvertrag unterschreibt, ist dieser Unterschied der ganze Punkt. Über ein Quartal summiert sich der Abstand zwischen „am günstigsten“ und „klingt günstig“ zu der Position, die erklärt, warum die operative Marge ihr Ziel verfehlt hat.
Also habe ich das Sprachmodell aus der Rechnung herausgehalten. Die schwerere Frage war, wie sich diese Linie durchsetzen lässt.
Wie es funktioniert
In diesem Copilot ist das Sprachmodell der Verteiler. Die Rechenmodule sind die Rechner. Das Modell liest die Anfrage und wählt, welchen Rechner es aufruft. Es führt die Rechnung nie selbst aus. Das System nutzt 4 Familien von Verfahren, einen Rechner je Familie.
Bereich 1. Die günstigste Führung von Waren durch ein Netz. Rechner: OR-Tools GLOP.
Bereich 2. Aufträge auf Maschinen planen, Stopps auf Lkw legen und um eine Störung herum umleiten. Rechner: OR-Tools CP-SAT und Routing.
Bereich 3. Lieferantenzuteilung, die auch dann gut bleibt, wenn sich die Kosten in die schlechteste plausible Richtung bewegen. Rechner: CVXPY mit CLARABEL.
Bereich 4. Bestandsverteilung über eine mehrstufige Lieferkette, und die Verfolgung, wie sich Nachfrageschwankungen stromaufwärts verstärken. Rechner: SciPy SLSQP und FFT.
Zwei dieser Solver liefern einen mathematischen Beweis, dass die Antwort optimal ist. Die übrigen liefern die beste erreichbare Lösung bei Problemen, deren Schwere bewiesen ist. Zu wissen, welches Problem welches ist, und den passenden Rechner dafür zu wählen, ist der größte Teil der Arbeit.
Überrascht hat mich Folgendes: der typisierte Vertrag an dieser Grenze brauchte mehr Feinarbeit als jeder der Rechner. Pydantic-Schemata, 6 FastMCP-Server und ein Rückfallweg über Stichwörter für den Moment, in dem das Kontingent des Modells aufgebraucht ist.
Die Grenze hält über 124 automatische Tests und eine Schwelle von 98 % gegen gegnerische Injection in der CI, denn eine Grenze, die Sie nicht testen können, ist eine Grenze auf dem Papier. Meine Aufgabe war es, das Sprachmodell von Mathematik fernzuhalten, die Dantzig und seine Nachfolger über die letzten 75 Jahre aufgebaut haben.
