n1info.ba14.11.2026. 15:00N1 Sarajevo
Googleova umjetna inteligencija za četiri sedmice provjerila koliko je Signal siguran
izvještaj · izvještaj
Zasad jedini članak o ovome.
Kartica događajaNauka
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
Najsličniji po kartici događaja
srpskainfo.com13.11. 16:44
Vještačka inteligencija mijenja pravila na fakultetima atvbl.rs13.11. 16:15
АИ мијења правила на факултетима: Професори све теже процјењују знање студената balkans.aljazeera.net13.11. 17:03
Prekid rada Microsofta prevaranti brzo koriste za krađu podataka i manipulaciju oslobodjenje.ba13.11. 17:07
Vodeći stručnjaci upozoravaju, uskoro bi AI mogao preuzeti kontrolu nad ljudima srpskainfo.com13.11. 20:09
"Majkrosoft" potvrdio da nije bilo hakerskog napada banjaluka.net14.11. 09:03
Kolaps Microsoft servisa trajao duže od 24 sata: Evo šta je izazvalo globalni haos, štetu u milijardama atvbl.rs14.11. 08:48
Свјетски дигитални хаос окончан: Мајкрософт потврдио да све поново ради akta.ba13.11. 10:13
Veliki pad Microsoftovih servisa: Problemi s Outlookom i Teamsom traju drugi dan slobodna-bosna.ba13.11. 14:47
ALARMANTNI IZVJEŠTAJI: Test otkrio da vještačka inteligencija nema milosti prema ljudima, čak ni kada uzrokuje patnju Najsličniji po tekstu
srpskainfo.com13.11. 16:37
Neko možda čita vaše WhatsApp poruke, a vi to ne znate balkans.aljazeera.net13.11. 17:03
Prekid rada Microsofta prevaranti brzo koriste za krađu podataka i manipulaciju radiosarajevo.ba13.11. 14:26
Test otkrio da vještačka inteligencija nema milosti prema ljudima, čak ni kada uzrokuje patnju slobodna-bosna.ba13.11. 14:47
ALARMANTNI IZVJEŠTAJI: Test otkrio da vještačka inteligencija nema milosti prema ljudima, čak ni kada uzrokuje patnju srpskainfo.com13.11. 16:44
Vještačka inteligencija mijenja pravila na fakultetima rtrs.tv13.11. 15:45
"Мајкрософт" остварио напредак у обнављању рада система rtrs.tv14.11. 10:03
Мајкрософт: Услуге у потпуности обновљене након глобалног прекида рада atvbl.rs14.11. 08:48
Свјетски дигитални хаос окончан: Мајкрософт потврдио да све поново ради balkans.aljazeera.net14.11. 08:50
Microsoft: Uspostavljene sve usluge nakon globalnog prekida