#microsoft

Novinky · 2026-11-05

PDD Kit přesouvá kontrolu agentního kódu od řádků ke specifikaci

Microsoft Research a GitHub Next ukázaly prototyp, který převádí záměr vývojáře do specifikace pro Verus a nad Rust kódem vytváří strojově kontrolovaný důkaz. Silnější záruka však platí jen uvnitř přesně popsané hranice důvěry.

Novinky · 2026-11-03

Kyberbezpečnost stojí na důvěře, ne na slepém vymáhání pravidel

Mike Walker z Microsoft Research připomíná, že každý bezpečnostní požadavek čerpá z omezené zásoby důvěry uživatelů. Jeho zkušenost z DARPA Cyber Grand Challenge zároveň ukazuje, proč AI v obraně potřebuje týmovou koordinaci a kontext, ne další osamělý supernástroj.

Novinky · 2026-10-30

Microsoft testuje Copilot na syntetických firmách místo zákaznických dat

Microsoft Research vytvořil tři syntetická podniková prostředí, ve kterých testuje Copilot bez použití zákaznických dat. Interní metrika kvality se proti prvnímu postupu zlepšila o 39 %, ale realistická simulace stále není důkazem výkonu v živé firmě.

Novinky · 2026-10-29

Microsoft Research Focus 97 mapuje slabiny agentů, chyby předpovědí i reálnou práci s AI

Microsoft Research zveřejnil 29. října 2026 přehled Focus Edition 97, který propojuje výsledky z vývoje úspornějších agentů, testování kódu, podnikové telemetrie, indických škol, dlouhodobějších předpovědí počasí a veřejné testovací verze modelu BioEmu2. Jako výzkumná mapa tento souhrn ukazuje, že praktický posun AI dnes stojí na přesném měření slabých míst, od nepochopení cizího kódu a převahy rutinních úprav dokumentů až po systematické odchylky meteorologických modelů.

Novinky · 2026-10-22

Microsoft učí AI agenty kreslit grafy, na které se dá kliknout

Microsoft Research rozšířil svůj jazyk pro grafy Flint o interakce: agent popíše, co se má stát po kliknutí nebo výběru, a kompilátor se postará o zbytek. Výběr v grafu se navíc může vrátit do chatu jako kontext další otázky. Tvrzení o nižší ceně a vyšší spolehlivosti zatím nepodložil čísly.

Novinky · 2026-10-20

Muž za DARPA programem Memex vede v Microsoftu Catalyst Lab. Sází na kybernetickou obranu

Microsoft Research pustil rozhovor s Chrisem Whitem, šéfem nové Catalyst Lab. White kdysi v DARPA vedl Memex, nástroje na hledání v dark webu proti obchodu s lidmi. Teď chce stejnou logiku spojování stop nasadit na obranu sítí, konkrétní projekt ale zatím neukázal.

Novinky · 2026-10-21

Matematici s AI agenty dokázali 31 let starou domněnku KLS. Samotné modely to se stejnými tokeny nezvládly

Xinzhi Zhang z Microsoft Research a jeho spoluautor Zhao Song dokázali domněnku Kannana, Lovásze a Simonovitse z roku 1995. AI agenti prošli přes 100 možných postupů, směr ale určovali lidé a kontrolní pokus bez nich při podobné spotřebě tokenů selhal.

Novinky · 2026-10-15

Magnetar zrychluje důkazy běžného kódu, účet za důvěru ale nemaže

Microsoft Research představil zkVM Magnetar, který na procesoru M4 Max ověřoval zhruba 600 KiB důkazy za 10 až 12 ms. Výsledek přibližuje ověřitelné výpočty běžným programům, zatím však stojí hlavně na benchmarku autorů.

Novinky · 2026-10-12

StudentSim zkouší AI lektory na digitálních dvojčatech žáků

Microsoft Research představil systém StudentSim, který trénuje personifikované simulátory žáků pro šachy, psaní v angličtině a matematiku. Vývojáři vzdělávacích modelů tak získávají rychlou zpětnou vazbu bez nutnosti testovat nedokončené nápovědy přímo na skutečných dětech.

Novinky · 2026-10-07

Agent Lightning trénuje agenty v jejich skutečném prostředí a stačí mu 3 500 řádků

Microsoft představil Agent Lightning v1.0, framework o zhruba 3 500 řádcích, který zapojuje skutečný agentní harness přímo do reinforcement learning. Na Qwen3.5-9B zvedl výsledek SWE-bench Verified z 41,8 % na 56,4 % s 6 000 trénovacími příklady.

Novinky · 2026-10-06

Benchmark chválí model, rozhovor ho nechá zabloudit

Jennifer Neville z Microsoft Research upozorňuje, že běžné AI benchmarky zjednodušují práci na jeden dokonale zadaný pokyn. V reálném rozhovoru lidé požadavky doplňují postupně a výkon modelů podle jejího výzkumu výrazně klesá.

Novinky · 2026-09-30

Model předpovídá riziko pro 66 935 rozvoden půl hodiny před sluneční bouří

Microsoft Research vytvořil systém, který pro 66 935 rozvoden v kontinentálních USA odhaduje riziko kosmického počasí 30 až 60 minut dopředu. V testech zachytil 76,5 % velkých událostí, před ostrým nasazením ale potřebuje ověření s energetickými firmami a provozními daty.

Novinky · 2026-09-29

Quine spojuje biologická data, aby zúžil frontu experimentů

Microsoft Research představil Quine, raný výzkumný systém s multimodálním world modelem biologie a nástroji pro volbu experimentů. První test s Broad Institute řadil tisíce látek pro změnu buněčných stavů u rakoviny slinivky.

Novinky · 2026-09-28

Microsoft v Singapuru staví most mezi AI papery a regulovaným průmyslem

První rok laboratoře Microsoft Research Asia v Singapuru přinesl výzkum robotického vidění a spolupráce s univerzitami, zdravotnictvím i státem. Skutečnou metrikou regionálního uzlu však budou systémy ověřené mimo konferenční sál.

Novinky · 2026-09-23

Robotům prospívá vzdálené GPU, síť jim ale drží nervy v hrsti

Studie Microsoftu zjistila, že přesun inference z robota na edge nebo cloud zvyšuje výkon a šetří baterii. Zároveň ukazuje tvrdý háček: desítky milisekund síťového zpoždění už snižují přesnost fyzické práce.

Novinky · 2026-09-21

Model Chimera posouvá objevování léků tím, že umí kombinovat různé AI modely

Microsoft Research a Novartis představily Chimera, systém využívající učení k hodnocení (learning-to-rank), který zkracuje proces retrosyntézy při vývoji léků.

Novinky · 2026-07-30

EvoLib nahrazuje hromadění paměti u LLM modelů extrakcí dovedností za běhu

Microsoft Research představil EvoLib, framework, který neukládá jen surovou historii konverzací, ale destiluje z ní obecné dovednosti v čase inference. Agenti tak mohou zlepšovat svůj výkon za běhu bez přetrénování modelu.

Novinky · 2026-07-30

Microsoft Echoverse stavi pro agenty evolucni prostredi, ne staticke testy

Soucasni agenti selhavaji ve vicestupnovych procesech. Microsoft Research je misto statickych benchmarku trenuje v simulacich, ktere se dynamicky vyvijeji spolu se slozitosti ulohy.

Novinky · 2026-08-31

Microsoft vyrobil model GigaPath-Flash, který zlevňuje patologický výzkum padesátinásobně

Microsoft zmenšil obří patologické modely do rodiny Flash. Znamená to padesátinásobné zlevnění výpočtů pro whole-slide analýzy, což odemyká možnost opakovaných experimentů napříč velkými populacemi pacientů.

Novinky · 2026-08-20

Skala 1.1 otevírá hluboké učení pro kvantovou chemii

Microsoft uvolnil aktualizaci svého modelu Skala pro výpočty v kvantové chemii. Verze 1.1 zpřístupňuje přesnější simulace molekul širšímu vývojářskému ekosystému a přidává živý benchmark.

Novinky · 2026-08-12

Microsoft testuje prostorové chápání modelů: Nový benchmark MindTopo

Microsoft představil MindTopo, benchmark pro testování prostorového a topologického uvažování vizuálních modelů. Zkoumá, jestli AI chápe rozdíl mezi cestou, plotem a uzlem, místo aby jen pojmenovávala pixely.

Novinky · 2026-08-11

Microsoft přidal Qwenovi nástroje pro přesné měření rentgenů

Model Qwen3-VL-4B-Instruct ve výzkumném pipeline Microsoftu nezkoumá rentgenové snímky jen vizuálně, ale spouští externí nástroje pro výpočet rozměrů. Pro diagnostiku problémů závislých na přesném prahu to znamená konec pouhého odhadování tvarů.

Novinky · 2026-08-03

Microsoft otevírá Orchard: skleník pro trénink agentů, ne další orchestrátor

Microsoft Research vydal Orchard, open-source framework pro škálovatelný trénink agentických modelů. Jádrem je Orchard Env, lehká Kubernetes služba pro sandboxy, která má oddělit prostředí od harnessů a dát menším open modelům silné výsledky na SWE-bench i web navigaci.

Novinky · 2026-07-13

Microsoft posílá ověřenou kryptografii z Lean důkazů do SymCryptu

Microsoft zveřejnil větev SymCryptu s formálními specifikacemi a důkazy pro Rust implementace SHA-3 a ML-KEM. Pro týmy, které nasazují kryptografii do produkce, je podstatné, že důkaz má žít vedle kódu, ne v akademickém PDF mimo release proces.

Novinky · 2026-06-29

Memora řeší paměť agentů oddělením uložení od vyhledávání

Microsoft Research popisuje Memora jako paměťový systém pro AI agenty, kteří dnes opakovaně načítají nebo vyhledávají kontext. Důležitý posun je v oddělení toho, co se ukládá, od toho, jak se to později hledá.

Novinky · 2026-07-09

Aurora 1.5 posouvá AI předpověď počasí blíž k energetice a klimatu

Microsoft Research rozšířil model Aurora 1.5 o 22 dalších proměnných, hodinové rozlišení a pravděpodobnostní ensemble forecasting. Pro týmy v energetice, pojišťovnictví a klimatu je důležité, že AI weather model míří z ukázky do provozních rozhodnutí.

Novinky · 2026-07-08

Flint dává AI agentům kratší cestu od dat ke grafu

Microsoft Research ukazuje Flint, open-source jazyk pro grafy, které má AI agent zvládnout z krátké, člověkem editovatelné specifikace. Důležitý není další charting framework, ale vrstva mezi promptem a vykreslovací knihovnou.

Novinky · 2026-07-02

Microsoftův Ire našel LOTUSLITE tam, kde signatury selhaly

Microsoft ukázal, že Project Ire dokázal označit 253 KB DLL variantu LOTUSLITE jako malware, i když ji na VirusTotal 28. května 2026 zachytil jen 1 ze 72 vendorů. Důležitý posun je v metodě: agent četl chování binárky místo seznamu IOC.

Novinky · 2026-07-02

Microsoft ukazuje AI jako stroj na hypotézy pro neurovědu

Microsoft Research popsal generative causal testing, postup, který z modelů predikujících mozkovou aktivitu dělá čitelné hypotézy a ověřuje je ve fMRI. Pro vědu je zajímavé hlavně to, že AI tu nemá jen předpovídat, ale vracet teorii zpět do rukou lidí.

Novinky · 2026-06-30

SkillOpt trénuje agentní skills jako textové váhy

Microsoft ukazuje SkillOpt: optimizer, který zlepšuje agentní skill soubor bez změny modelových vah. Pro týmy stavějící agenty je důležitá hlavně validační brána, ne další vrstva promptového kouzlení.