AlphaProof Code zweryfikował rdzeń kryptograficzny Signal w cztery tygodnie
DeepMind dowiódł bezpieczeństwa kodu Signal w cztery tygodnie zamiast lat, Microsoft pokazał backdoor w modelach, a Anthropic przeniósł Claude na AMD w trzy dni.Źródła:Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of yearsMicrosoft finds AI agents can be backdoored by editing under 10 neuronsAnthropic says AI is eroding Nvidia's CUDA lead, cutting an AMD chip switch from months to three daysGoogle joins the decision-model wave with Gemini Decision 1, scoring 1,000 questions in a single passWith its new voice model, DeepL Voice now translates intonation and speaking speed into other languages as well📰 Przeczytaj całe wydanie na stronie🤖 Odcinek opracowany przy pomocy sztucznej inteligencji. Lektor syntetyczny.
W dzisiejszym HeadFlash AlphaProof Code weryfikuje rdzeń Signala, ukryta furtka w modelach sztucznej inteligencji według Microsoftu, klot na kartach AMD w 3 dni, Gemini Decision ocenia 1000 pytań na raz oraz nowy model głosowy DeepL z przenoszeniem intonacji. Google DeepMind pokazał AlphaProof Code, system sztucznej inteligencji, który matematycznie dowodzi, że oprogramowanie spełnia założenia bezpieczeństwa. Badacze sprawdzili go na protokole szyfrowania Signal i w cztery tygodnie wykonali pracę, która zwykle zajmuje lata. Wcześniejsze próby kończyły się na etapie teoretycznym, tym razem zweryfikowano faktyczny kod działający na urządzeniach użytkowników. Po zdefiniowaniu wymagań agenci oparci na Gemini napisali ponad 6 milionów linii dowodów, zostawiając do ludzkiego przeglądu około 1% kodu.
Dane pochodzą z prezentacji inwestorskiej i nie zostały niezależnie zweryfikowane. Google DeepMind wprowadza Gemini Decisions API, interfejs do szybkich decyzji zamkniętych, takich jak pytania tak lub nie, wybór wielokrotny i oceny skalarne. Model Gemini Decision 1 przetwarza do tysiąca niezależnych pytań w jednym przebiegu, obejmując tekst, obrazy, dźwięk, wideo i dokumenty. Zwraca prawdopodobieństwa z wartościami pewności w 150 do 250 milisekund. Google używa go już wewnętrznie do kierowania zapytań między modelami, prototypowania i kontroli bezpieczeństwa w wyszukiwarce. W przykładzie model ocenił zdjęcie blatu kuchennego trzema typami pytań naraz. Interfejs jest dostępny w Google AI Studio, a integracje z kolejnymi narzędziami są wdrażane.
DeepL przedstawił nowy model głosowy Aure dla DeepL Voice, który przenosi ton, emocje, akcent i tempo mowy mówiącego do języka docelowego. Wcześniej tłumaczona mowa powstawała na podstawie statycznej próbki głosu z początku rozmowy, więc nie wychwytywała zmian nastroju ani sarkazmu. Aure na bieżąco analizuje przetłumaczony tekst i oryginalne audio. Podczas treningu DeepL rozdziela tożsamość głosu, melodię mowy i treść, aby każdy element przenieść niezależnie, a uczenie ze wzmocnieniem eliminuje akcent z wyniku. Model działa automatycznie w DeepL Voice dla spotkań online, rozmów bezpośrednich i interfejsu programistycznego. Na start obsługuje między innymi angielski, niemiecki, hiszpański, francuski, włoski, japoński, portugalski i koreański. To wszystko na dziś. HeadFlash to codzienny newsletter z najważniejszymi informacjami z AI, prywatności i bezpieczeństwa.
Pokazano wszystkie 3 dopasowania. Transkrypcja generowana automatycznie i niesprawdzana ręcznie — może zawierać błędy.
Kliknij, aby znaleźć fragmenty, w których pada.
DeepMind dowiódł bezpieczeństwa kodu Signal w cztery tygodnie zamiast lat, Microsoft pokazał backdoor w modelach, a Anthropic przeniósł Claude na AMD w trzy dni.
Źródła:
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of yearsMicrosoft finds AI agents can be backdoored by editing under 10 neuronsAnthropic says AI is eroding Nvidia's CUDA lead, cutting an AMD chip switch from months to three daysGoogle joins the decision-model wave with Gemini Decision 1, scoring 1,000 questions in a single passWith its new voice model, DeepL Voice now translates intonation and speaking speed into other languages as well📰 Przeczytaj całe wydanie na stronie
🤖 Odcinek opracowany przy pomocy sztucznej inteligencji. Lektor syntetyczny.