AI news

Five minutes. What happened, and what to do about it. All stories from 10 November 2026

HIGHLIGHT

Apple's iOS 27.2.1 fixes an iMessage bug that could let an attacker join a group chat, and Bluetooth and AirPlay flaws, so update now

If you have an iPhone, iPad or Mac, there is a security update waiting today that is worth installing before you do anything else.

MACRUMORS|9 NOV

Google DeepMind used AI to mathematically prove key guarantees of the Signal protocol, and found no new flaws

WIRED· 10 Nov

WIRED reports that Google DeepMind researchers used agentic AI, a framework called AlphaProof Code, to formally verify a number of the Signal protocol's key cryptographic guarantees, in a four-week proof-of-concept. The protocol protects messages on Signal, Google Messages and WhatsApp. The analysis found no new vulnerabilities in the portions of the protocol it covered, and it did not verify the whole Signal app.

  • Nothing to do today: this is a check on the maths behind messaging encryption, not a new feature.
  • Keep your messaging apps updated, since the apps around the protocol are where most real-world security problems turn up.

Source: WIRED. This is our short summary of their reporting. The paragraphs marked "Our read" and the things to do are SeedFoundry's opinion. The summary is drafted with AI tools. Image: Google DeepMind, from its own announcement. How we source and credit

That is tue 10 nov, all of it.

These are short summaries of other people's reporting, with our own commentary. Each story names its source and links to the original. How we source and credit