Matematyka zamiast testów. Jacob Tsimerman stworzy naukowe podstawy bezpieczeństwa AI
Laureat Medalu Fieldsa Jacob Tsimerman otwiera Mathematical A.I. Safety Institute, który ma zastąpić doraźne testy empiryczne formalnymi dowodami bezpieczeństwa. Instytut planuje wykorzystać techniki kryptograficzne, by weryfikować modele bez ujawniania ich tajemnic handlowych.
Read More