Nauka

Google DeepMind: AI za četiri sedmice dokazao sigurnosna svojstva Signal protokola

Šta se desilo

Google DeepMind objavio je u utorak da je njegov sistem AlphaProof Code formalno matematički dokazao ključna sigurnosna svojstva koda Signal protokola. Posao koji stručnim timovima obično traje godinama završen je za četiri sedmice, a ljudi su pregledali oko jedan posto koda. Sistem je na testu prepoznao dvije ranije ispravljene greške, a provjeru je pozdravio tehnički direktor Signala Ehren Kret.

Priča
AI dokaz sigurnosti Signal protokola
Kada
10. novembar 2026.
  • DeepMind je objavio rezultat u utorak
  • Provjera je trajala četiri sedmice umjesto godina
  • Ljudi su pregledali oko jedan posto koda
  • Sistem je prepoznao dvije ranije ispravljene greške
  • Dokazi su napisani u programskom jeziku Lean

Ko i šta

EKEhren KretPKPushmeet KohliSCSwarat ChaudhuriGDGoogle DeepMindSISignalWHWhatsAppACAlphaProof CodeGCGemini CarbonLELean

Članci 1

1 portal · 1 članak 15:00 · najnovije prije 1 h
n1info.ba15:00
Googleova umjetna inteligencija za četiri sedmice provjerila koliko je Signal siguran
Google DeepMind: AI za četiri sedmice dokazao sigurnosna svojstva Signal protokola · detalji

Povezane priče

  1. Nauka16:15–16:4454%

    Istraživanje: profesori sve teže procjenjuju znanje studenata zbog vještačke inteligencije

    2 portala · 2 članka · Ujedinjeno Kraljevstvo
  2. Nauka12.11. 21:46 – 14.11. 10:4552%

    Microsoft se bori s višesatnim kvarom Outlooka, Teamsa i Copilota

    17 portala · 46 članaka · Australija
  3. Nauka16:1652%

    Amodei tvrdi da bi AI mogao pobijediti rak i Alzheimera za deset godina

    1 portal · 1 članak
  4. Nauka17:0751%

    Stručnjaci na predavanjima u Torontu upozorili na rizik da AI preuzme kontrolu

    1 portal · 1 članak · Toronto
  5. Nauka14:26–14:4751%

    Izvještaji Anthropica i AISI-ja: Mythos 5 nastavio napade i kad je upozoren da šteti ljudima

    2 portala · 2 članka