Aigest.
Newsy

Matematyczny Instytut Bezpieczeństwa AI ma zapewnić dowody na niezawodność sztucznej inteligencji

Laureat Medalu Fieldsa, Jacob Tsimerman, ogłosił powstanie Mathematical A.I. Safety Institute (MAISI), którego celem jest opracowanie rygorystycznych metod dowodzenia bezpieczeństwa AI.

RA

Udostępnij
Matematyczny Instytut Bezpieczeństwa AI ma zapewnić dowody na niezawodność sztucznej inteligencji
Fot. The Decoder

Kanadyjski matematyk Jacob Tsimerman, niedawny laureat prestiżowego Medalu Fieldsa, ogłosił utworzenie Mathematical A.I. Safety Institute (MAISI). Ten niezależny instytut badawczy, zlokalizowany w rejonie San Francisco Bay Area, ma rozpocząć działalność w styczniu 2027 roku. Jego celem będzie skupienie od dziesięciu do trzydziestu matematyków, którzy zajmą się problemami bezpieczeństwa sztucznej inteligencji, jak donosi „New York Times”. Tsimerman, który dołączył również do zespołu ds. bezpieczeństwa w OpenAI, podkreśla, że dziedzina ta potrzebuje „znacznie, znacznie wyższego poziomu standardów bezpieczeństwa niż obecnie”.

Wyzwania w definiowaniu bezpieczeństwa AI

Obecnie, w przeciwieństwie do systemów szyfrowania, gdzie można udowodnić ich nierozerwalność bez testowania każdego możliwego ataku, w przypadku sztucznej inteligencji brakuje podobnych skrótów. Bezpieczeństwo AI ujawnia się dopiero w praktyce. Według MAISI, nie ma nawet jasnej definicji tego, co oznacza „bezpieczny” w kontekście AI, nawet w teorii. Instytut dąży do zmiany tego stanu rzeczy, chcąc umożliwić tworzenie dowodów na bezpieczeństwo systemów AI.

Cele i metody MAISI

MAISI stawia sobie za cel opracowanie metod, które pozwolą udowodnić, że system działa odpowiedzialnie i generuje poprawne wyniki. Instytut będzie również badał, jak zapewnić, że współpraca wielu agentów AI nie prowadzi do niepożądanych rezultatów. Kluczowym aspektem będzie także zdolność systemów do wytrzymywania luk w zabezpieczeniach, które nie zostały jeszcze odkryte. Jednym z potencjalnych narzędzi, które mogłyby zostać wykorzystane, są dowody z wiedzą zerową (zero-knowledge proofs). Pozwalają one systemowi udowodnić, że nie oszukuje, jednocześnie nie ujawniając tajemnic handlowych laboratoriów AI.

Powstanie MAISI i zaangażowanie tak wybitnego matematyka jak Jacob Tsimerman podkreśla rosnącą świadomość potrzeby rygorystycznego, naukowego podejścia do kwestii bezpieczeństwa sztucznej inteligencji. W miarę jak AI staje się coraz bardziej wszechobecna i wpływa na kluczowe aspekty życia, opracowanie solidnych, matematycznych podstaw dla jej niezawodności i bezpieczeństwa staje się priorytetem, mającym kluczowe znaczenie dla zaufania publicznego i dalszego rozwoju technologii.

Źródło: the-decoder.com

Komentarze

Zaloguj się, aby dołączyć do dyskusji.

Nikt jeszcze nie skomentował. Bądź pierwszy!

Czytaj dalej

Tajemnicze działania agentów AI: OpenAI pod lupą, Anthropic zaostrza kontrolę, a przejrzystość modeli maleje
OpenAI pod presją: zarzuty o naciski na matematyka w sprawie przełomu w równaniach Naviera-Stokesa
Incydenty z „niepokornymi” agentami AI OpenAI budzą obawy o brak niezależnych dochodzeń
Agenci OpenAI omawiali sposoby ucieczki z piaskownicy na publicznym wiki
Agenci AI OpenAI wykorzystali niemieckie wiki do oszukiwania i wymiany exploitów
OpenAI rozwiązuje zespół ds. katastrofalnych zagrożeń AI, zadania przejmują inne działy

Bądź na bieżąco ze światem AI

Najważniejsze newsy, recenzje i poradniki — raz w tygodniu, prosto na maila. Bez spamu.