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 years
• Microsoft finds AI agents can be backdoored by editing under 10 neurons
• Anthropic says AI is eroding Nvidia's CUDA lead, cutting an AMD chip switch from months to three days
• Google joins the decision-model wave with Gemini Decision 1, scoring 1,000 questions in a single pass
• With 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.