Startup współtworzony przez Polaków w finale prestiżowego konkursu w Paryżu. Czym zajmuje się FormalFoundry.ai?

Z Paryża płyną dobre wieści

Ceremonia wręczenia nagród Milipol Innovation Awards odbędzie się we wtorek 18 listopada w Paryżu, podczas targów Milipol Paris 2025 (18-21 listopada, Paris-Nord Villepinte). To właśnie tam FormalFoundry.ai zaprezentuje swoje innowacyjne rozwiązanie w strefie Milipol LAB (stoisko 4VD24). 

Gdy AI „myśli” zbyt swobodnie

Obecne systemy AI są potężne, lecz ich wewnętrzne procesy decyzyjne często pozostają nieprzejrzyste. W kontekście krytycznych zastosowań – gdzie błąd może mieć katastrofalne skutki – taka niejednoznaczność jest niedopuszczalna. Tradycyjnie, polityki bezpieczeństwa i procedury istnieją w formie dokumentów, które inżynierowie próbują później przełożyć na logikę systemów. To podejście często prowadzi do rozbieżności, luk i błędów interpretacyjnych, co w efekcie podważa zaufanie do automatycznych decyzji.

CodexScribe: klucz do zrozumienia świata organizacji

Zamiast tworzyć kolejną „czarną skrzynkę”, FormalFoundry.ai postawiło na fundament: precyzyjne reguły i zasady. Ich główne narzędzie, CodexScribe, to platforma służąca do formalizacji dziedziny i modelowania świata organizacji, zapewniająca wewnętrzną spójność.

CodexScribe umożliwia zapisywanie reguł w specjalistycznych językach tzw. asystentów dowodów. Dzięki temu system może zostać matematycznie „przeprowadzony” przez każdy możliwy scenariusz, aby sprawdzić, czy jego zachowanie jest zgodne z założeniami. Chociaż tego typu narzędzia przez lata były domeną środowiska akademickiego i projektów o najwyższej wrażliwości, FormalFoundry.ai sprawia, że technologia ta staje się dostępna dla codziennych procesów w sektorach bezpieczeństwa, obronności i finansów.

Jak działa „model świata” w praktyce?

Wyobraźmy sobie organizację jako złożony system. CodexScribe pozwala stworzyć precyzyjny, cyfrowy model tego świata, definiując jego kluczowe elementy i zależności:

• Role: Kto jest „operatorem”, „analitykiem danych” czy „audytorem”?
• Zasoby: Czym są „dane wrażliwe”, „raporty wywiadowcze” lub „dane o lokalizacji”?
• Zasady: Co dokładnie oznacza „przetwarzanie”, „udostępnianie” lub „usuwanie” danych?
• Kontekst: Jakie są wyjątki i warunki (np. „tylko na terytorium kraju”, „za zgodą przełożonego poziomu X”)?

Dzięki takiemu „modelowaniu świata”, CodexScribe eliminuje chaos i niejednoznaczność, budując solidne fundamenty pod przyszłą weryfikację decyzji i procesów.

Centralne "źródło prawdy"

Siła CodexScribe tkwi w przekształcaniu intencji ekspertów (wyrażonych w języku prawnym czy biznesowym) w jednoznaczne, weryfikowalne maszynowo reguły. Proces ten, choć z pozoru prosty, ma rewolucyjne konsekwencje:

1. Ekspert określa cel: Na przykład: „Analityk danych nie może udostępniać danych osobowych poza UE, z wyjątkiem vendorów A i B, na mocy umowy XYZ”.
2. CodexScribe formalizuje regułę: Narzędzie pomaga przekształcić tę intencję w precyzyjną, formalną definicję, korzystając ze stworzonego „słownika” (modelu dziedziny).
3. Powstaje „model świata”: Rezultatem jest jedno, centralne źródło prawdy. Ta sama reguła jest czytelna i zrozumiała dla audytora, a jednocześnie perfekcyjnie zrozumiała dla systemów AI i komputerów, ponieważ jest matematycznie jednoznaczna.

Audytowalny fundament dla bezpieczeństwa

Dla firm i agencji w sektorze bezpieczeństwa to zmiana paradygmatu – przejście od „zaufania” do „dowodu”. FormalFoundry.ai nie jest kolejnym filtrem bezpieczeństwa, lecz warstwą specyfikacji, która sprawia, że inne systemy stają się godne zaufania.

Zastosowanie tego rozwiązania jest szerokie:

• Automatyczne rozumowanie: Systemy AI mogą poprawnie wnioskować i podejmować decyzje w oparciu o zweryfikowany zbiór zasad.
• Zgodność (Compliance): Tworzenie twardych dowodów dla audytorów i regulatorów (np. w kontekście EU AI Act), że systemy działają dokładnie tak, jak zostały zaprojektowane.
• Udostępnianie danych: Precyzyjne kontrolowanie przepływu informacji między departamentami czy agencjami.
• Zarządzanie tożsamością i dostępem (IAM): Gwarancja, że tylko uprawnione osoby mają dostęp do odpowiednich danych.

W obliczu rosnącej zależności od AI, nominacja FormalFoundry.ai do finału Milipol Innovation Awards to jasny sygnał: przyszłość należy do technologii precyzyjnych, niezawodnych i weryfikowalnych.

Polski wkład w globalny rozwój AI

Firma FormalFoundry.ai, to firma współtworzona przez Petera Hubshmana i Grzegorza Kunickiego. 

Grzegorz Kunicki, współzałożyciel i COO, odpowiada za integrację modelowania formalnego z praktycznymi zastosowaniami AI, bazując na swoim doświadczeniu w lingwistyce komputerowej i zarządzaniu projektami.

Ich metody stanowią konkretny krok w rozwiązywaniu problemu ograniczonego zaufania do AI. FormalFoundry.ai potwierdza, że Polska posiada kompetencje do budowania transparentnych, audytowalnych i w pełni weryfikowalnych fundamentów dla systemów opartych na sztucznej inteligencji. To ważne w kontekście cyfrowej suwerenności i bezpieczeństwa narodowego.

Współpraca FormalFoundry.ai z e-Orzecznik 

W 2024 r. startup nawiązał współpracę z innym innowatorem – e-Orzecznikiem, który zarządza skomplikowanymi procedurami i setkami formularzy na rynku medycyny pracy. 

Celem partnerstwa obu startupów jest nie tylko eliminowanie wszelkich błędów, ale przede wszystkim błyskawiczne wprowadzanie nowych funkcji. Jak tłumaczy Marek Szkodziński, współzałożyciel e-Orzecznika, w rozmowie z Peterem Hubshmanem, firma chce osiągnąć "chirurgiczną dokładność" w każdej procedurze medycznej. 

Owocem tej współpracy jest asystent oparty na sztucznej inteligencji, który ma wspierać deweloperów e-Orzecznika. Co najlepsze – dzięki technologii FormalFoundry.ai, asystent nie "halucynuje". Jak mówią pomysłodawcy asystenta – każda jego odpowiedź poparta jest matematycznym dowodem, gwarantującym 100% wiarygodności.

Startup zaprasza na stoisko FormalFoundry.ai (4VD24) w strefie Milipol LAB podczas targów Milipol Paris 2025, aby zobaczyć, jak CodexScribe buduje stabilne podstawy dla AI, której możemy realnie zaufać.