Dawid Grabanowski, Autor w serwisie MTZN - Agencja AI

Abstrakcyjny schemat połączeń w odcieniach błękitu na ciemnym tle, przypominający sieć neuronową

31 lipca, 2026

Jak wycisnąć wiedzę z 15 pacjentów: UNICON w badaniach nad chorobami rzadkimi

W przypadku choroby Gauchera typu 2 na całym świecie jest może 15 nowych pacjentów rocznie. Standardowe modele statystyczne przy takiej próbie są bezużyteczne. UNICON, nowy model bazowy rozumiejący dane grafowe, potrafi na podstawie wyników kilku…

Kontynuuj

Góry z cyfrowymi elementami, chmurą i procesorem AI na szczycie, otoczone okręgami danych

Przykłady zastosowań

Dawid Grabanowski

31 lipca, 2026

Inteligencja numeryczna w terenie: jak UNICON przewiduje rozprzestrzenianie się zanieczyszczeń bez gotowego modelu

Wyciek chemiczny w terenie górskim. Sieć sensorów IoT daje kilka punktów pomiarowych, ale nikt nie ma gotowego modelu dyfuzji dla tej konkretnej doliny. Zespoły reagowania potrzebują prognozy skażenia w miejscach bez czujników – i to…

Kontynuuj

Mapa świata z podświetlonymi punktami i łączącymi je liniami, symbolizującymi globalną sieć

Przykłady zastosowań

Dawid Grabanowski

31 lipca, 2026

Gdy mapy milczą: jak UNICON uczy się tras z chaosu

Kiedy woda opada po powodzi, firmy kurierskie stają przed zadaniem dostarczenia pomocy na teren, gdzie połowa dróg jest nieprzejezdna, a mapy nie pokazują tymczasowych przejść. Tradycyjne systemy TMS, oparte na stałych mapach i regułach, po…

Kontynuuj

Wiatraki, panele słoneczne i serwery połączone siecią cyfrowych linii i punktów

Przykłady zastosowań

Dawid Grabanowski

31 lipca, 2026

Predykcyjne zarządzanie mikrosieciami bez modelowania fizycznego. Operatorzy testują UNICON

Gwałtowne zmiany generacji z OZE potrafią w kilka minut rozchwiać napięcie w lokalnej sieci. Operatorzy mikrosieci spędzają godziny na analizie danych z czujników, żeby zrozumieć, co się właśnie stało – zamiast reagować, zanim dojdzie do…

Kontynuuj

Ekran komputera z interfejsem aplikacji Albilich, pokazującym proces dowodzenia, wizualizację grafu i czat

Informatyka Sztuczna inteligencja

Dawid Grabanowski

31 lipca, 2026

Albilich: jak agent AI uczy się dowodzić twierdzenia i znajduje błędy w otwartych problemach matematycznych

System, który sam rozwiązuje zadania z algebry i znajduje błędy w otwartych problemach matematycznych? Albilich, nowe narzędzie od badaczy z Chin, właśnie tego dokonał. Przeszedł test RealMath bezbłędnie, a przy okazji podważył jeden z problemów…

Kontynuuj

Robot AI z podświetlonymi elementami trzyma tablet, na tle unoszą się wzory matematyczne i geometryczne kształty

Przykłady zastosowań

Dawid Grabanowski

31 lipca, 2026

Agent AI skraca czas weryfikacji stabilności sterowania z miesięcy do dni

W firmie projektującej autonomiczne wózki widłowe we Wrocławiu opóźnienie certyfikacji stabilności układu przeciwprzechyłowego kosztowało 4 miesiące prac i około 800 tysięcy złotych utraconego przychodu. Czterech inżynierów ręcznie wyprowadzało funkcje Lapunowa i rozwiązywało nierówności macierzowe dla…

Kontynuuj

Mężczyzna wpatrujący się w przezroczysty ekran z równaniami matematycznymi i schematami, otoczony cyfrowymi obwodami

Przykłady zastosowań

Dawid Grabanowski

31 lipca, 2026

Inteligentny korepetytor na dowód. Czy uczelnia potrzebuje asystenta, który nie śpi?

Pięciuset studentów, dwóch doktorantów na pół etatu i cotygodniowe zadania z dowodów. Po dziesiątym semestrze każdy z nich marzy, by ktoś sprawdził te przekształcenia zanim student złoży pracę. Albilich, otwarty agent AI, rozwiązuje dokładnie ten…

Kontynuuj

Robot patrzy na płytkę drukowaną z podświetlonymi ścieżkami i trzema ekranami z symbolami matematycznymi

Przykłady zastosowań

Dawid Grabanowski

31 lipca, 2026

Audytor, który nie odpuszcza: jak agent AI dowodzi, że twój kod kryptograficzny jest bezpieczny

W 2024 roku luka w popularnej bibliotece kryptograficznej pozwoliła wykraść klucze prywatne z 14 tysięcy portfeli sprzętowych. Tradycyjne testy i audyty ręczne przeszły bez zarzutu. Problem leżał w matematycznej konstrukcji protokołu, której żaden tester nie…

Kontynuuj

Mózg z połączeniami neuronowymi, równania matematyczne i interfejs systemu komputerowego na ciemnym tle

Przykłady zastosowań

Dawid Grabanowski

31 lipca, 2026

Automatyczny asystent do weryfikacji hipotez w algebrze i teorii grup

W 2024 roku grupa matematyków z Uniwersytetu Jagiellońskiego spędziła trzy miesiące na poszukiwaniu kontrprzykładu dla jednego z problemów z Zeszytu Kourovki. Ostatecznie błąd rachunkowy wynikający z ręcznego upraszczania symboli unieważnił pół roku pracy nad publikacją.…

Kontynuuj

Informatyka Sztuczna inteligencja

Dawid Grabanowski

31 lipca, 2026

Sztuczna inteligencja kontra studenci: pomysły AI częściej trafiają do koszyka

Wyobraź sobie zadanie: wymyśl nowy produkt dla studenta za maksymalnie 50 dolarów. Studenci na kursie projektowania zaproponowali dziesiątki rozwiązań. Potem to samo ćwiczenie wykonano na GPT-4. Okazało się, że pomysły wygenerowane przez AI osiągają wyższą…

Kontynuuj

Dawid Grabanowski

Jak wycisnąć wiedzę z 15 pacjentów: UNICON w badaniach nad chorobami rzadkimi

Inteligencja numeryczna w terenie: jak UNICON przewiduje rozprzestrzenianie się zanieczyszczeń bez gotowego modelu

Gdy mapy milczą: jak UNICON uczy się tras z chaosu

Predykcyjne zarządzanie mikrosieciami bez modelowania fizycznego. Operatorzy testują UNICON

Albilich: jak agent AI uczy się dowodzić twierdzenia i znajduje błędy w otwartych problemach matematycznych

Agent AI skraca czas weryfikacji stabilności sterowania z miesięcy do dni

Inteligentny korepetytor na dowód. Czy uczelnia potrzebuje asystenta, który nie śpi?

Audytor, który nie odpuszcza: jak agent AI dowodzi, że twój kod kryptograficzny jest bezpieczny

Automatyczny asystent do weryfikacji hipotez w algebrze i teorii grup

Sztuczna inteligencja kontra studenci: pomysły AI częściej trafiają do koszyka

Usługi

Ostatnie projekty