Firma znalazła się w ścisłym finale nagród Milipol Innovation Awards w kategorii Cyberbezpieczeństwo i AI. Podczas ceremonii wręczenia nagród, zaplanowanej na wtorek 18 listopada, zostaną wyróżnione najbardziej wizjonerskie technologie kształtujące przyszłość bezpieczeństwa. Swoje rozwiązanie zaprezentuje w strefie Milipol LAB podczas targów Milipol Paris 2025 w Paryżu, które odbędą się 18-21 listopada br. w centrum ekspozycyjnym Paris-Nord Villepinte (stoisko 4VD24).
Grafiki: FormalFoundry.ai
Nominacja dla FormalFoundry.ai nie jest przypadkowa. W świecie obronności, bezpieczeństwa czy finansów, odpowiedź zaufaj nam po prostu nie wystarcza.
Problem: AI „myśli” zbyt swobodnie
Obecny krajobraz AI jest pełen systemów, które są potężne, ale nieprzejrzyste. W zastosowaniach o znaczeniu krytycznym – gdzie stawką jest bezpieczeństwo, infrastruktura lub ludzkie życie – niejednoznaczność lub błąd są niedopuszczalne.
Jednym z powodów jest to, że polityki bezpieczeństwa, procedury operacyjne i zasady zgodności (compliance) często istnieją tylko na papierze cyfrowych dokumentach. Zespoły inżynierów próbują następnie przełożyć ten ludzki opis na logikę systemu. Efekt? Rozbieżności, luki i błędy interpretacyjne, które w efekcie prowadzą do utraty zaufania.
Rozwiązanie: CodexScribe i formalizacja dziedziny
Zamiast budować kolejną „czarną skrzynkę”, FormalFoundry.ai skupia się na fundamencie: regułach i zasadach. Ich kluczowe narzędzie, CodexScribe, to platforma do formalizacj idziedziny i modelowania świata organizacji, która zapewnia spójność wewnętrzną.
Wszystkie te reguły są zapisywane w specjalistycznych językach tzw. asystentów dowodów (proof assistants), które pozwalają matematycznie „przeprowadzić” system przez każdy możliwy przypadek i sprawdzić, czy zachowuje się zgodnie z założeniami.
Przez lata takie narzędzia funkcjonowały głównie w środowisku akademickim oraz przy najbardziej wrażliwych projektach, jak weryfikacja układów scalonych czy systemów kosmicznych, a tylko nieliczne zespoły na świecie potrafiły zastosować w innych obszarach.FormalFoundry.ai wraża ten typ technologii, czyniąc ją dostępną dla codziennych procesów organizacji, łącząc rygor dowodów matematycznych z praktycznymi wymaganiami sektorów bezpieczeństwa, obronności i finansów.
Co to oznacza w praktyce?
Wyobraźmy sobie organizację jako system. CodexScribe pozwala tej organizacji stworzyć precyzyjny, cyfrowy model świata opisujący jego elementy i zależności w nim panujące:
- Role: Kim są „operatorzy”, „analitycy danych” lub „audytorzy zewnętrzni”?
- 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, warunki i zatwierdzenia (np. „tylko na terytorium kraju”, „za zgodą przełożonego poziomu X”.
Dzięki temu „modelowaniu świata”, CodexScribe eliminuje chaos i niejednoznaczność, tworząc solidne podstawy pod weryfikację przyszłych decyzji i procesów.
Centralne źródło prawdy: od eksperta do reguły AI
Główną siłą CodexScribe jest przekształcanie intencji ekspertów (wyrażonych w języku prawnym lub biznesowym) w jednoznaczne, weryfikowalne maszynowo reguły.
Proces jest prosty w założeniach, ale rewolucyjny w skutkach:
- Ekspert określa cel: (Np. „Analityk danych nie może udostępniać danych osobowych poza UE, z wyjątkiem vendorów A i B, na mocy umowy XYZ”).
- CodexScribe formalizuje regułę: Narzędzie pomaga przekształcić tę intencję w precyzyjną, formalną definicję, korzystając ze stworzonego wcześniej „słownika”(modelu dziedziny).
- Powstaje „model świata”: Rezultatem jest jedno, centralne źródło prawdy. Ta sama reguła jest czytelna i zrozumiała dla audytora (bo można ją odczytać w jasnym języku), a jednocześnie jest perfekcyjnie zrozumiała dla systemów AI i komputerów, ponieważ jest matematycznie jednoznaczna.
Znaczenie dla bezpieczeństwa: audytowalny fundament
Dla firm i agencji w sektorze bezpieczeństwa, oznacza to przejście od „zaufania” do „dowodu”. FormalFoundry.ai nie jest kolejnym filtrem bezpieczeństwa. Jest warstwąs pecyfikacji, która sprawia, że inne systemy stają się godne zaufania.
Gdzie można to zastosować?
- Automatyczne rozumowanie: Systemy oparte o AI mogą samodzielnie, poprawnie i logicznie wnioskować i rekomendować lub nawet 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, agencjami lub sojusznikami.
- Zarządzanie tożsamością i dostępem (IAM): Gwarancja, że tylko odpowiednie osoby mają dostęp do odpowiednich danych w odpowiednim czasie.
W świecie, który coraz bardziej polega na AI, nominacja FormalFoundry.ai do finału Milipol Innovation Awards to jasny sygnał: przyszłość nie należy do najbardziej imponujących demonstracji AI, ale do tych najbardziej precyzyjnych, niezawodnych i weryfikowalnych.
Polski wkład w rozwój technologii AI
Znajdujemy się w miejscu, gdzie zaufanie do technologii jest równie cenne jak sama technologia, a cyfrowa suwerenność staje się filarem bezpieczeństwa narodowego. Nasza rodzima firma dostarcza rozwiązania na światowym poziomie w strategicznym procesie kontrolowanego wdrażania AI.
Technologie weryfikacji formalnej z użyciem wyrafinowanych modeli matematycznych są kluczowe dalszego rozwoju AI. Stąd metody opracowane przez FormalFoundry.ai stanowią bardzo konkretny krok w rozwiązywaniu poważnego problemu ograniczonego zaufania do AI.
FormalFoundry.ai potwierdza, że mamy w kraju kompetencje budowania fundamentów systemów opartych o AI, które są z natury transparentne, audytowalne i – co kluczowe – w pełni weryfikowalne przez nas samych.
Odwiedzających targi Milipol Paris 2025 zapraszamy do strefy Milipol LAB (stoisko 4VD24), aby zobaczyć, jak CodexScribe buduje stabilne fundamenty pod AI, której możemy realnie zaufać.
Materiał prasowy