AI Aulis

AI-UUTISET SUOMEKSI · 12.11.2026

Tekoälyalan tärkeimmät uutiset joka aamu. Tekoäly kirjoittaa ja tarkastaa jutut alkuperäisiä lähteitä vasten – tarkista tärkeät tiedot lähteistä.

34 juttua · seuraava numero huomenna aamulla · Miten lehti tehdään →

Laatu ja puutteet

Tiedot koskevat tämän numeron täsmällisiä tekstiversioita. Juttutarkastukset eivät ole erillinen numeron laatuauditointi.

← TakaisinLehti

Pois jääneet ja keskeneräiset (362)

Lisäksi 403 yli 72 tuntia vanhaa uutista jätettiin pois; niitä ei luetella.

Valinnassa pois jääneiden aiheiden perusteluja ei julkaista, koska niitä ei ole tarkastettu.

  • Google DeepMind just mathematically verified key parts of Signal: Jäi pois toimituksen valinnassa.
  • Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years: Jäi pois toimituksen valinnassa.
  • Google DeepMind uses AI to verify Signal protocol security - SC Media: Jäi pois toimituksen valinnassa.
  • Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years - The Decoder: Jäi pois toimituksen valinnassa.
  • Google DeepMind formally verifies part of Signal protocol — Ars Technica - UA.NEWS: Jäi pois toimituksen valinnassa.
  • 구글, AI로 암호 약점 발견 이어 시그널 보안 검증…650만줄 증명: Jäi pois toimituksen valinnassa.
  • RT @pushmeet: Announcing a major milestone achieved by my team @GoogleDeepMind: we have proven key security properties of the machine code…: Jäi pois toimituksen valinnassa.
  • 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…: Jäi pois toimituksen valinnassa.
  • 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…: Jäi pois toimituksen valinnassa.
  • My AI agents found an unmapped Maya site?: Jäi pois toimituksen valinnassa.
  • Atuin Threads syncs coding agent sessions across machines and tools - news.lavx.hu: Jäi pois toimituksen valinnassa.
  • Emacs in the Age of Magic: Jäi pois toimituksen valinnassa.
  • OpenAI to Retire ChatGPT Advanced and Standard Voice on December 11: What Changes for Users? - International Business Times, Singapore Edition: Jäi pois toimituksen valinnassa.
  • OpenAI is sunsetting ChatGPT Advanced and Standard voice next month - Android Authority: Jäi pois toimituksen valinnassa.
  • OpenAI to Retire Advanced and Standard Voice Models in ChatGPT Next Month as GPT-Live Usage Spikes - Gadgets 360: Jäi pois toimituksen valinnassa.
  • CERT-EU warnt: Rapide Zunahme der Angriffe mit Agenten-Frameworks wie Artex: Jäi pois toimituksen valinnassa.
  • JioHotstar benchmarks knowledge bases for AI coding agents - news.lavx.hu: Jäi pois toimituksen valinnassa.
  • JioHotstar Benchmarks Knowledge Bases for AI Coding Agents - infoq.com: Jäi pois toimituksen valinnassa.
  • Matteo Vaccari proposes tests as data for AI-generated code - news.lavx.hu: Jäi pois toimituksen valinnassa.
  • Tests as data: ensuring AI-generated code does what we want: Jäi pois toimituksen valinnassa.

Tarkastetut versiot (102)

Avaa tarkastustiedot kielittäin
EN (34)
FI (34)
SV (34)