AI Aulis

AI NEWS IN ENGLISH · 12 November 2026

The most important AI news every morning. AI writes and checks the stories against the original sources – check important facts in the sources.

34 stories · next issue tomorrow morning · How the paper is made →

Review and omissions

These records concern the exact text versions in this issue. Article reviews are not a separate quality audit of the issue.

← BackPaper

Omitted and unfinished (362)

In addition, 403 news items older than 72 hours were left out; they are not listed.

Reasons for topics left out in the selection are not published because they have not been reviewed.

  • Google DeepMind just mathematically verified key parts of Signal: Left out in the newsroom's selection.
  • Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years: Left out in the newsroom's selection.
  • Google DeepMind uses AI to verify Signal protocol security - SC Media: Left out in the newsroom's selection.
  • Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years - The Decoder: Left out in the newsroom's selection.
  • Google DeepMind formally verifies part of Signal protocol — Ars Technica - UA.NEWS: Left out in the newsroom's selection.
  • 구글, AI로 암호 약점 발견 이어 시그널 보안 검증…650만줄 증명: Left out in the newsroom's selection.
  • RT @pushmeet: Announcing a major milestone achieved by my team @GoogleDeepMind: we have proven key security properties of the machine code…: Left out in the newsroom's selection.
  • For the first time, AI has mathematically proven @signalapp’s protocol is secure down to the code level. Using our breakthrough AlphaProof Code framework, we verified the messaging app’s…: Left out in the newsroom's selection.
  • Gemini agents generated over 6M lines of proofs in Lean, auditing the code so human experts only had to review the critical 1%. This is a key step toward using AI to verify vital infrastructure we…: Left out in the newsroom's selection.
  • My AI agents found an unmapped Maya site?: Left out in the newsroom's selection.
  • Atuin Threads syncs coding agent sessions across machines and tools - news.lavx.hu: Left out in the newsroom's selection.
  • Emacs in the Age of Magic: Left out in the newsroom's selection.
  • OpenAI to Retire ChatGPT Advanced and Standard Voice on December 11: What Changes for Users? - International Business Times, Singapore Edition: Left out in the newsroom's selection.
  • OpenAI is sunsetting ChatGPT Advanced and Standard voice next month - Android Authority: Left out in the newsroom's selection.
  • OpenAI to Retire Advanced and Standard Voice Models in ChatGPT Next Month as GPT-Live Usage Spikes - Gadgets 360: Left out in the newsroom's selection.
  • CERT-EU warnt: Rapide Zunahme der Angriffe mit Agenten-Frameworks wie Artex: Left out in the newsroom's selection.
  • JioHotstar benchmarks knowledge bases for AI coding agents - news.lavx.hu: Left out in the newsroom's selection.
  • JioHotstar Benchmarks Knowledge Bases for AI Coding Agents - infoq.com: Left out in the newsroom's selection.
  • Matteo Vaccari proposes tests as data for AI-generated code - news.lavx.hu: Left out in the newsroom's selection.
  • Tests as data: ensuring AI-generated code does what we want: Left out in the newsroom's selection.

Reviewed versions (102)

Open review records by language
EN (34)
FI (34)
SV (34)