#microsoft

Aktualności · 2026-11-05

PDD Kit przenosi kontrolę kodu agentów z wierszy do specyfikacji

Microsoft Research i GitHub Next pokazały prototyp, który zamienia intencję programisty w specyfikację Verus i tworzy mechanicznie sprawdzany dowód dla kodu w Rust. Silniejsza gwarancja obowiązuje tylko w jasno opisanej granicy zaufania.

Aktualności · 2026-11-03

Cyberbezpieczeństwo opiera się na zaufaniu, nie na ślepym egzekwowaniu reguł

Mike Walker z Microsoft Research przypomina, że każde wymaganie bezpieczeństwa zużywa ograniczony kapitał zaufania użytkowników. Jego doświadczenie z DARPA Cyber Grand Challenge pokazuje też, dlaczego obrona wspierana przez AI potrzebuje współpracy i kontekstu, a nie kolejnego samotnego supernarzędzia.

Aktualności · 2026-10-30

Microsoft testuje Copilota na syntetycznych firmach zamiast danych klientów

Microsoft Research zbudował trzy syntetyczne środowiska firmowe do testowania Copilota bez użycia danych klientów. Wewnętrzna metryka jakości wzrosła o 39% względem pierwszego podejścia, lecz realistyczna symulacja nadal nie dowodzi skuteczności w prawdziwej organizacji.

Aktualności · 2026-10-29

Microsoft Research Focus 97 mapuje wąskie gardła agentów, błędy prognoz i realną pracę z AI

W opublikowanym 29 października 2026 roku przeglądzie Microsoft Research Focus Edition 97 zebrano projekty obejmujące wydajność agentów, testy programistyczne, telemetrię biurową, indyjskie szkoły, wielotygodniowe prognozy pogody oraz publiczną wersję zapoznawczą BioEmu2. Odczytywane jako mapa badawcza zestawienie pokazuje, że praktyczny postęp AI coraz mocniej zależy od precyzyjnego pomiaru słabych punktów, od nieznanych baz kodu i rutynowej edycji dokumentów po systematyczne błędy modeli pogodowych.

Aktualności · 2026-10-22

Microsoft uczy agentów AI rysować wykresy, w które można kliknąć

Microsoft Research rozszerzył swój język do wykresów Flint o interakcje: agent opisuje, co ma się stać po kliknięciu lub zaznaczeniu, a resztą zajmuje się kompilator. Zaznaczenie na wykresie może też wrócić do czatu jako kontekst kolejnego pytania. Deklaracje o niższym koszcie i większej niezawodności na razie nie są poparte liczbami.

Aktualności · 2026-10-20

Twórca programu Memex z DARPA kieruje Catalyst Lab w Microsofcie i stawia na cyberobronę

Microsoft Research opublikował rozmowę z Chrisem Whitem, szefem nowego Catalyst Lab. W DARPA White prowadził Memex, narzędzia do przeszukiwania dark webu wykorzystywane w walce z handlem ludźmi. Teraz chce przenieść tę samą logikę łączenia śladów na obronę sieci, ale konkretnego projektu jeszcze nie pokazał.

Aktualności · 2026-10-21

Matematycy z agentami AI udowodnili 31-letnią hipotezę KLS. Same modele z tymi samymi tokenami nie dały rady

Xinzhi Zhang z Microsoft Research i współautor Zhao Song udowodnili hipotezę Kannana, Lovásza i Simonovitsa z 1995 roku. Agenci AI sprawdzili ponad 100 możliwych podejść, ale kierunek wyznaczali ludzie, a próba kontrolna bez nich przy podobnym budżecie tokenów zakończyła się porażką.

Aktualności · 2026-10-15

Magnetar przyspiesza dowody dla zwykłego kodu, lecz rachunek za zaufanie zostaje

Microsoft Research pokazał zkVM Magnetar, którego dowody o rozmiarze około 600 KiB weryfikowały się na M4 Max w 10 do 12 ms. To przybliża weryfikowalne obliczenia do zwykłych programów, choć wyniki nadal opierają się głównie na testach autorów.

Aktualności · 2026-10-12

StudentSim testuje korepetytorów AI na cyfrowych bliźniakach uczniów

Microsoft Research zaprezentował system StudentSim, który trenuje spersonalizowane symulatory uczniów w szachach, pisaniu po angielsku i matematyce. Twórcy modeli edukacyjnych zyskują szybką informację zwrotną bez testowania niedopracowanych podpowiedzi na dzieciach.

Aktualności · 2026-10-07

Agent Lightning trenuje agentów w ich prawdziwym środowisku w 3500 liniach kodu

Microsoft przedstawił Agent Lightning v1.0, framework liczący około 3500 linii kodu, który włącza prawdziwy agent harness bezpośrednio do reinforcement learning. Przy 6000 przykładów treningowych wynik Qwen3.5-9B w SWE-bench Verified wzrósł z 41,8 % do 56,4 %.

Aktualności · 2026-10-06

Benchmark chwali model, rozmowa pozwala mu się zgubić

Jennifer Neville z Microsoft Research zwraca uwagę, że typowe benchmarki AI sprowadzają pracę do jednego idealnie opisanego polecenia. W prawdziwej rozmowie ludzie doprecyzowują wymagania stopniowo, a według jej badań wydajność modeli wyraźnie spada.

Aktualności · 2026-09-30

Model prognozuje ryzyko dla 66 935 stacji nawet godzinę przed uderzeniem burzy słonecznej

Microsoft Research opracował system, który z wyprzedzeniem od 30 do 60 minut ocenia ryzyko pogody kosmicznej dla 66 935 stacji elektroenergetycznych w kontynentalnej części USA. W testach wykrył 76,5% dużych zdarzeń, lecz przed wdrożeniem wymaga walidacji z operatorami sieci i danymi operacyjnymi.

Aktualności · 2026-09-29

Quine łączy dane biologiczne, by skrócić kolejkę eksperymentów

Microsoft Research pokazał Quine, wczesny system badawczy łączący multimodalny world model biologii z narzędziami do wyboru eksperymentów. Pierwszy projekt z Broad Institute uszeregował tysiące związków pod kątem zmiany stanów komórek raka trzustki.

Aktualności · 2026-09-28

Microsoft buduje w Singapurze most między publikacjami AI a regulowanym przemysłem

Pierwszy rok singapurskiego laboratorium Microsoft Research Asia przyniósł badania nad widzeniem robotów oraz współpracę z uczelniami, ochroną zdrowia i administracją. Prawdziwą miarą regionalnego centrum będą jednak systemy zweryfikowane poza salą konferencyjną.

Aktualności · 2026-09-23

Zdalne GPU pomagają robotom, lecz sieć kontroluje ich refleks

Badanie Microsoftu wykazało, że przeniesienie inference z robota na edge lub do chmury poprawia wydajność i czas pracy baterii. Ujawniło też twarde ograniczenie: już dziesiątki milisekund opóźnienia sieci obniżają precyzję pracy fizycznej.

Aktualności · 2026-09-21

Model Chimera przyspiesza odkrywanie leków łącząc różnorodne modele AI

Microsoft Research i Novartis zaprezentowały Chimera, system oparty na learning-to-rank, który skraca proces retrosyntezy w opracowywaniu leków.

Aktualności · 2026-07-30

EvoLib zastępuje gromadzenie pamięci u modeli LLM ekstrakcją umiejętności w locie

Microsoft Research zaprezentował EvoLib, framework, który nie zapisuje po prostu historii konwersacji, ale wyciąga z niej ogólne zasady w czasie inferencji. Agenci mogą poprawiać swoją skuteczność bez dotrenowywania modelu.

Aktualności · 2026-07-30

Microsoft Echoverse buduje ewolucyjne srodowiska dla agentow, a nie statyczne testy

Obecne agenty zawodza w wieloetapowych procesach. Zamiast statycznych benchmarkow, Microsoft Research trenuje je w symulacjach, ktore dynamicznie ewoluuja wraz ze zlozonoscia zadania.

Aktualności · 2026-08-31

Microsoft prezentuje GigaPath-Flash, redukując koszty badań patologicznych pięćdziesięciokrotnie

Microsoft skompresował swoje ogromne modele patologiczne do rodziny Flash. Oznacza to 50-krotną redukcję kosztów obliczeniowych dla całych preparatów, co otwiera drogę do powtarzalnych eksperymentów na dużych populacjach.

Aktualności · 2026-08-20

Skala 1.1 otwiera głębokie uczenie dla chemii kwantowej

Microsoft wydał aktualizację swojego modelu Skala do obliczeń w chemii kwantowej. Wersja 1.1 udostępnia dokładniejsze symulacje cząsteczek szerszemu ekosystemowi programistów i dodaje żywy benchmark.

Aktualności · 2026-08-12

Microsoft testuje rozumienie przestrzeni: Nowy benchmark MindTopo

Microsoft zaprezentował MindTopo, benchmark do testowania przestrzennego i topologicznego wnioskowania modeli wizualnych. Sprawdza on, czy AI rozumie drogi, płoty i przeszkody, a nie tylko nazywa piksele.

Aktualności · 2026-08-11

Microsoft daje modelom Qwen precyzyjne narzędzia do pomiarów radiologicznych

Model Qwen3-VL-4B-Instruct w potoku badawczym Microsoftu nie tylko analizuje zdjęcia rentgenowskie wizualnie, ale uruchamia zewnętrzne narzędzia do obliczania wymiarów. Dla diagnostyki opartej na precyzyjnych progach oznacza to koniec zgadywania kształtów.

Aktualności · 2026-08-03

Microsoft otwiera Orchard: szklarnia do trenowania agentów, nie kolejny orkiestrator

Microsoft Research wydał Orchard, open-source framework do skalowalnego treningu modeli agentycznych. Sercem jest Orchard Env, lekka usługa Kubernetes do sandboxów, która ma oddzielić środowisko od harnessów i dać mniejszym modelom open silne wyniki na SWE-bench i w nawigacji webowej.

Aktualności · 2026-07-13

Microsoft wpina dowody z Lean bezpośrednio w kod SymCrypt

Microsoft opublikował gałąź SymCrypt z formalnymi specyfikacjami i dowodami dla rustowych implementacji SHA-3 oraz ML-KEM. Ważne jest to, że dowód ma żyć obok kodu produkcyjnego, a nie w akademickim PDF poza procesem wydania.

Aktualności · 2026-06-29

Memora rozdziela pamięć agentów od sposobu jej odczytu

Microsoft Research opisuje Memora jako system pamięci dla agentów AI, którzy dziś muszą ciągle ładować albo wyszukiwać kontekst. Kluczowy ruch polega na oddzieleniu tego, co jest zapisywane, od tego, jak później się to znajduje.

Aktualności · 2026-07-09

Aurora 1.5 przesuwa AI od prognoz pogody do decyzji w energetyce i klimacie

Microsoft Research opisuje Aurorę 1.5 jako model z 22 dodatkowymi zmiennymi, rozdzielczością godzinową i probabilistic ensemble forecasting. Najciekawsze nie są ładniejsze mapy pogody, tylko pytanie, czy taki model da się wpiąć w kosztowne decyzje operacyjne.

Aktualności · 2026-07-08

Flint skraca agentom AI drogę od danych do wykresu

Microsoft Research pokazuje Flint, open-source język do wizualizacji, który ma pozwolić agentom AI tworzyć wykresy z krótkich, edytowalnych przez człowieka specyfikacji. Ważna jest nie kolejna biblioteka do chartów, lecz warstwa między promptem a renderowaniem.

Aktualności · 2026-07-02

Microsoftowy Ire znalazł LOTUSLITE tam, gdzie sygnatury zawiodły

Microsoft pokazał, że Project Ire potrafił oznaczyć 253 KB wariant DLL LOTUSLITE jako malware, choć 28 maja 2026 roku na VirusTotal wykrywał go tylko 1 z 72 vendorów. Sedno tkwi w analizie zachowania binarki, a nie w dopasowaniu do listy IOC.

Aktualności · 2026-07-02

Microsoft robi z explainability maszynę do hipotez dla neurobiologii

Microsoft Research opisał generative causal testing, metodę, która zmienia modele przewidujące aktywność mózgu w czytelne hipotezy i sprawdza je w fMRI. Najciekawsze jest to, że AI ma tu nie tylko przewidywać, ale oddawać naukowcom testowalną teorię.

Aktualności · 2026-06-30

SkillOpt trenuje agent skills jak tekstowe wagi

Microsoft pokazuje SkillOpt: optimizer, który poprawia plik skill agenta bez ruszania wag modelu. Dla zespołów budujących agentów najważniejsza jest bramka walidacyjna, a nie kolejna warstwa promptowej alchemii.