Pracuję na styku logiki matematycznej, weryfikacji AI i projektowania systemów wielkiej skali. Moja główna teza: obszary, w których AI podejmuje dziś decyzje — miasta, administracja publiczna, autonomiczne systemy wieloagentowe — potrzebują niezależnej, weryfikowalnej warstwy sprawdzającej to, co generuje AI, tak jak audytor sprawdza księgi firmy.
Wywodzę się z logiki matematycznej i programowania semantycznego — prace nad twierdzeniami o punkcie stałym w stylu Gandy'ego, problemem P = L i wielomianowo obliczalnymi reprezentacjami systemów formalnych. Stamtąd przeszedłem do stosowanej infrastruktury AI: metod godnej zaufania AI łączących duże modele językowe z logiką formalną oraz silnika weryfikacyjnego ENIGMA Axiom, który wprowadza te metody w życie.
Dziś doradzam organizacjom budującym AI wysokiej stawki — poprzez IAIC FZCO w Dubaju — oraz organizuję konferencje (MathAI, SmartCity, wydarzenia IAIC) i inicjatywy wydawnicze skupiające środowisko naukowe wokół godnej zaufania AI.
P = L, wielomianowe odpowiedniki twierdzenia Gandy'ego o punkcie stałym, wielomianowo obliczalne reprezentacje.
Łączenie LLM z systemami logiki formalnej; formalna + faktograficzna weryfikacja wyników modeli (ENIGMA Axiom).
Wirtualne miasta, cyfrowe bliźniaki i autonomiczne społeczności AI w skali miasta.
Zadaniowe architektury kognitywne; AI + weryfikowalne rejestry dla efektywności administracji i inteligencji obywatelskiej.
Doradzam organizacjom budującym AI wysokiej stawki — fakturowanie przez IAIC FZCO, Dubaj.
Zobacz doradztwo & zarezerwuj konsultację →