TehnoloģijasAI kopsavilkums
DeepMind mākslīgā intelekta aģenti pārbaudīja Signal protokolu
Sintetizēta balss (AI Speech)
Klausīties rakstu
Kā raksta Telegram kanāls «Prompt AI News», DeepMind mākslīgā intelekta aģenti ir formāli pārbaudījuši Signal protokola kodu.
Saskaņā ar publicēto informāciju, AlphaProof Code un Gemini Carbon aģenti sarakstīja vairāk nekā sešus miljonus Lean rindu.
Cilvēki pārskatīja katru specifikāciju un noteica, ko nozīmē drošība.
Avots: Prompt AI News
Faktu kopsavilkums saskaņā ar ES Autortiesību direktīvu (Art. 15). Pilns raksts pieejams oriģinālajā avotā.
Šo kopsavilkumu no avotā publicētajiem faktiem ar mākslīgo intelektu (Gemini Flash Lite) sagatavojis ZSS.LV; tas nav izdevuma teksts. Saskaņā ar EU AI Act 50. pantu un EU DSM direktīvu.