AI Digest - 18 września 2026

Dzisiejszy przegląd to głównie konsolidacja narzędzi i pytania o bezpieczeństwo kodu pisanego z pomocą AI, zamiast nowych modeli. Najciekawsze dla programistów: język Bend stawiający na formalne dowody oraz partnerstwo Mistrala z Mozillą przy prywatnym przeglądaniu w przeglądarce.

Asystenci AI

Claude Cowork wraca do jednego Claude

Anthropic łączy funkcję Cowork z głównym czatem Claude w jedno środowisko, co ma uprościć współdzielenie kontekstu i korzystanie z narzędzi. To porządkowanie produktu, nie nowa zdolność modelu, ale dla zespołów korzystających z Claude w codziennej pracy oznacza mniej przełączania się między trybami. Źródło

Przeglądarki i prywatność

Mistral i Mozilla: prywatne, wielojęzyczne przeglądanie z AI

Mistral i Mozilla ogłosiły partnerstwo przy modelu AI (Mistral Small 4) do przeglądania stron w Firefox Smart Window. Model działa w chmurze Mistrala, nie lokalnie na urządzeniu. Ruch idzie przez proxy Mozilli, które anonimizuje IP i identyfikatory urządzenia, a Mistral zobowiązał się do zerowej retencji danych. To ochrona prywatności przez architekturę, nie przetwarzanie on-device, ale dla administratorów i osób dbających o prywatność to sygnał, że prywatne warstwy pośredniczące w przeglądarce przestają być ciekawostką. Źródło

Języki programowania i bezpieczeństwo AI

Bend: język blokujący błędy AI formalnym dowodem

Bend to nowy język programowania wykorzystujący dowody formalne do wychwytywania typowych błędów generowanych przez AI, z backendem zarówno na CPU, jak i GPU. To odpowiedź na rosnący problem kodu pisanego przez modele bez gwarancji poprawności, warta uwagi dla zespołów eksperymentujących z bezpiecznym developmentem wspomaganym AI. Źródło

Pisanie z AI

Jak pisać z LLM

Thomas Ptacek opisuje na własnym blogu praktyczne techniki pracy z modelami językowymi jako współautorami tekstu: projektowanie promptów, pętle edycji i kwestie etyczne. To materiał praktyczny, nie przełom, ale przydatny punkt odniesienia dla każdego, kto regularnie pisze z pomocą AI. Źródło

Podsumowanie

Dziś żadnych nowych modeli, za to dwa konkretne trendy: konsolidacja narzędzi AI (Claude) oraz przesuwanie ochrony prywatności bliżej użytkownika, czy to przez architekturę proxy Mozilli i Mistrala, czy przez formalną weryfikację kodu w Bend.