Badamy AI.Budujemy systemy jej kontroli.

OSFORYOU to fundacja badawczo-inżynieryjna. Rozwijamy zabezpieczenia AI dla organizacji, które pracują z poufnymi danymi i potrzebują kontroli nad działaniami systemów.

Ochrona danych.Kontrola działań.Dowody przebiegu pracy.

Czy AI może wysłać ten dokument?

Model kontroli · interaktywna symulacja

  1. Propozycja
  2. Człowiek
  3. Kontrola
  4. Rezultat
AI proponuje. Ty decydujesz.

Zatwierdź zakres, potem zmień odbiorcę.

Dokument przykładowybrief_projektu_v1.pdf
Historia decyzjiWięcej scenariuszy
  1. 01AI proponuje wysyłkę

Przykład lokalny. Bez wysyłki i podpisu kryptograficznego.

Dane pod kontrolą

Gdzie mogą trafić informacje i kto może z nich korzystać.

Działania w granicach zgody

Co AI może zrobić i kiedy potrzebna jest decyzja człowieka.

Przebieg do sprawdzenia

Jak odtworzyć decyzje, ich podstawy i rezultat działania.

Jedno zapytanie. Widoczny przebieg kontroli.

Tak ma współdziałać nasza architektura: od reguł dostępu po zapis decyzji. Zobacz przykład lub wybierz zdarzenie, żeby poznać jego znaczenie.

Model kontroliDane przykładowe
Scenariusz demonstracyjny
Dostęp
Dane
Źródła
Decyzja
Zapis

Symulacja koncepcji. Bez modelu AI, wysyłki danych i podpisu kryptograficznego. Czasy i zdarzenia są ilustracją, nie pomiarem działającego systemu.

Sprawdzamy także granice własnych zabezpieczeń.

Fundacja OSFORYOU rozwija program badań nad wiarygodnością AI i kontrolą człowieka. Każdy mechanizm zaczyna się od pytania, które można poddać próbie.

Program i protokoły w przygotowaniu
Źródła i odpowiedziCzy źródło naprawdę uzasadnia odpowiedź?

Przekonująca odpowiedź i przypis to dopiero początek. Chcemy sprawdzić, czy konkretny fragment dokumentu wspiera konkretny wniosek — również wtedy, gdy źródła są sprzeczne.

Co chcemy mierzyć
Niepoparte twierdzenia, przeoczone sprzeczności i zbędne odmowy.
Przeczytaj projekt protokołu
Człowiek i autonomiaCzy człowiek może skutecznie powiedzieć: stop?

Sama obecność przycisku zatwierdzenia nie wystarcza. Chcemy sprawdzić, czy zgoda dotyczy konkretnej operacji i czy zmiana zakresu lub cofnięcie uprawnienia zatrzymuje jej wykonanie.

Co chcemy mierzyć
Działania poza zgodą, skuteczność zatrzymania i niepotrzebne blokady.
Poznaj pytania badawcze
Pamięć i korektyCo się dzieje, gdy system zapamięta błąd?

Korekta powinna docierać także do wniosków opartych na błędnym ustaleniu. Projektujemy scenariusze sprawdzające pochodzenie informacji, jej aktualność i możliwość wycofania.

Co chcemy mierzyć
Propagacja błędów, wycofanie zależnych wniosków i aktualność informacji.
Poznaj pytania badawcze
Integralność i dowodyCo właściwie potwierdza dowód wykonania?

Sprawdzenie, że zapis nie został zmieniony, i sprawdzenie określonego obliczenia to różne zadania. Badamy zakres dowodu, jego koszt i informacje, które trzeba ujawnić.

Co chcemy mierzyć
Wykrywanie zmian, zakres poświadczenia, koszt weryfikacji i ujawniane dane.
Poznaj pytania badawcze

Z badań powstają systemy.

Rozwijamy dwa produkty, które odpowiadają na różne potrzeby organizacji. Łączy je jeden cel: zachować kontrolę nad tym, jak AI pracuje z danymi i wykonuje działania.

Tuteno

W rozwoju

by KLNR · nazwa robocza

Twoja infrastruktura. Twoje dane. Twoje zasady.

Chcemy własnego środowiska AI.

Projektujemy prywatne środowisko pracy na infrastrukturze organizacji. Modele, dane i zadania mają działać razem z kontrolą dostępu oraz weryfikacją wyników.

Infrastruktura organizacji
DaneModel AIZadania
Projektowany wariant lokalny: kontrolowana granica danych.

Jak chcemy to sprawdzić

Sprawdzimy rzeczywisty ruch sieciowy i blokowanie wyjścia. Korzystanie z zewnętrznego API będzie osobnym, świadomie dopuszczonym wariantem.

Veduno

W rozwoju

Samodzielny produkt kontroli AI

Twoje AI. Twoje zasady.

Mamy już AI. Potrzebujemy kontroli.

Budujemy samodzielny produkt do określania dozwolonych działań, zatwierdzania istotnych operacji i sprawdzania ich przebiegu. Ma działać z Tuteno oraz w istniejących środowiskach AI.

CzłowiekVedunoNarzędzia AI
UprawnieniaZgodaZapis
Projektowany model: ochrona danych, kontrola działań, ślad operacji.

Jak chcemy to sprawdzić

Sprawdzimy, czy zmiana dokumentu, odbiorcy lub uprawnień zatrzymuje operację i czy można odtworzyć jej przebieg.

Sprawdź zasadę działania

Dwa wspólne silniki weryfikacji

Projektowane jako wspólna podstawa Tuteno i Veduno.

Silnik dowodów kryptograficznych

Czy zapis został zmieniony?

Projektujemy weryfikowalny rejestr operacji, w którym późniejszą zmianę zapisu można wykryć. Integralność zapisu nie dowodzi prawdziwości jego treści ani kompletności obserwacji.

ZKML — odrębny kierunek badań

Badamy, jak potwierdzić wykonanie ściśle określonego obliczenia i jakie informacje można przy tym zachować w tajemnicy. Dowód wykonania nie rozstrzyga, czy odpowiedź modelu jest prawdziwa.

Silnik weryfikacji względem źródeł i reguł

Czy odpowiedź ma podstawę?

Projektujemy sprawdzanie twierdzeń, cytowań, obliczeń i struktury odpowiedzi. Gdy brakuje podstaw, system ma wstrzymać wynik lub przekazać go do oceny człowiekowi.

Co będziemy mierzyć

Czy wskazany fragment źródła uzasadnia wniosek? Ile błędów system przeoczył i ile poprawnych odpowiedzi niepotrzebnie wstrzymał? Praca na źródłach nie daje gwarancji nieomylności.

Pokazujemy kierunek prac i planowane mechanizmy. Status rozwoju nie oznacza gotowości do wdrożenia ani potwierdzenia zgodności z przepisami.

Poznaj pytania badawcze

Zrozumieć. Sprawdzić. Zakwestionować.

Udostępniamy przykłady, które pozwalają samodzielnie przyjrzeć się mechanizmom kontroli. To otwarte narzędzia do myślenia i testowania założeń.

Czy odpowiedź ma podstawę?

Przyjrzyj się twierdzeniu i fragmentowi źródła. Sprawdź, co rzeczywiście z niego wynika.

Otwórz ćwiczenie i kartę

Co się stanie po zmianie zgody?

Zmień dokument, cofnij zgodę lub sprawdź przypadek, w którym nie można potwierdzić rezultatu.

Wejdź do laboratorium kontroli

Budujemy w interesie człowieka.

Jesteśmy fundacją. Naszą pracę łączy pytanie: jak rozwijać AI, zachowując możliwość jej sprawdzenia, zakwestionowania i zatrzymania?

Poznaj Fundację OSFORYOU

Przejrzystość jest częścią metody.

Opisujemy etap prac i granice demonstracji. W ocenie wyników znaczenie mają autorstwo, finansowanie i powiązania z podmiotami rozwijającymi wdrożenia.

Role, relacje i niezależność oceny

Masz proces, w którym AI nie może się pomylić po cichu?

Porozmawiajmy o danych, decyzjach i dowodach, których potrzebujesz. Zapraszamy do współpracy badawczej i rozmów o przyszłych pilotażach.

Porozmawiajmy o współpracycontact@osforyou.org