AI

W latach 1988-2006 AI odchodziła od logiki i systemów ekspertowych na rzecz podejścia statystycznego. Rola Judei Pearla, sieci bayesowskich i kryzysu, który wymusił zmianę paradygmatu.

Narodziny sztucznej inteligencji od warsztatu Dartmouth w 1956 roku, kluczowych badaczy i pierwsze systemy. Podział na podejście symboliczne i koneksjonistyczne oraz jego wpływ na rozwój AI.

Esej o latach 1815-1943, gdy logika stała się matematyką. Od algebry Boolea i rachunku rozumowania, przez Fregego, Gödla i Turinga, po model neuronu, który otworzył drogę do komputerów i AI.

AI nie narodziła się w Dartmouth. Talos, golemy oraz logika Arystotelesa pokazują, jak powstała idea myślenia jako reguł i symboli, zanim istniały komputery.

Struct to agent AI do obsługi on-call, który automatyzuje selekcję alertów, deduplikuje incydenty i wskazuje przyczynę źródłową. Integruje się z Sentry, Datadog, Slack i GitHub, oferuje SOC2 i HIPAA oraz plany Free, Pro, Max i Enterprise.

Autohive to platforma no code dla MŚP, która tworzy agentów AI na podstawie opisu zadania. Integruje się m.in. ze Slack, Asana i HubSpot, działa na AWS i nie używa danych do trenowania. Sprawdź darmowy plan i wyniki wdrożeń.

Claude Design to nie generator obrazków, ale platforma do tworzenia prototypów, slajdów i one pagerów w rozmowie z AI. Anthropic celuje w cały workflow od pomysłu do wdrożenia, konkurując z Figma, Google i OpenAI.

Grupa robocza Santa Fe Institute analizuje pojęcie AGI i wskazuje rozdźwięk między definicjami firm AI a ujęciem kognitywistyki. Artykuł wyjaśnia, czemu benchmarki nie dowodzą inteligencji oraz jakie ryzyka niesie mylenie tych pojęć.

DLSS 5 ma poprawiać realizm, ale jednocześnie ingeruje w wygląd gry po stronie karty graficznej. Artykuł pokazuje analogię do motion smoothing w TV i pyta, kto naprawdę odpowiada za finalny obraz oraz czy potrzebny jest tryb jak Filmmaker Mode.

System AI z Uniwersytetu Pekińskiego rozwiązał hipotezę Andersona dotyczącą pierścieni quasi-zupełnych w około 80 godzin. Jeden agent szukał strategii dowodu, drugi formalizował całość w Lean 4, tworząc 19 tys. linii kodu.