Research Programmes, Papers and Reports

Choose the audience that matches your question

The page contains three selectable readings of the same subject.

Výskum energeticky efektívnej inferencie

Výskum binárneho vektorového vyhľadávania

Inžinieri premenia overený nápad na skutočný kód. Rovnaké testy, ktoré overili výskum, teraz overujú produkt. Vy získate výhodu bez toho, aby ste si museli prečítať článok.

Skôr ako sa výskum stane funkciou, zverejníme ho, aby si ostatní mohli overiť našu metódu, naše dáta a naše závery. Otvorená kontrola odhalí chyby a posilní prácu.

Vytvárame prototypy, spúšťame experimenty a meriame výsledky proti reálnym dátam. Ak niečo nefunguje, zapíšeme si aj to. Negatívny výsledok je stále výsledok.

Vyhľadávanie je príliš pomalé. Odpovede sú nekonzistentné. Účty za energiu sú príliš vysoké. Premeníme to, na čo sa ľudia sťažujú, na presnú otázku, ktorú môžeme študovať.

Replay je testovateľná vlastnosť pri pevne ukotvenom buildu

Navrhovaný 60Hz časový krok, deterministický náhodný generátor a typovaná cesta vstupného logu

Kandidátske jadrá kontrolované voči záväzným obmedzeniam

Kontrola SMT pomocou Z3 a CVC5 plus cesta generovania kódu cez Cranelift; overenie prebieha

Príklad kandidáta: postup s tromi násobeniami pre násobenie komplexných čísel

Porovnávací cieľ počtu násobení (nie zverejnený benchmark)

Hypotéza optimalizácie riedkeho rozosielania

Riedke rozosielanie je navrhnuté na preskakovanie neaktívnych buniek; správanie za každý tik vyžaduje overenie

Porovnávací cieľ úspory CPU (nie zverejnený výsledok)

Podmienky replay sú testovateľné; úplná reprodukovateľnosť zostáva na overenie

Deklarované pravidlá majú podporovať replay po jednotlivých tikov; overenie prebieha

Každý údaj by mal viesť k zdrojovému behu a záznamu merania; stav dôkazov je súčasťou posúdenia.

Rozsah kandidátskych backendov Forge zahŕňa x86-64, RISC-V, WebAssembly a GPU; pokrytie a kvalita vyžadujú overenie.

Zdrojový kód Jacquard je súkromný a dostupný na požiadanie. Forge zostáva výskumným projektom a nie je otvorený.

Tvrdenia, dôkazy a číslo za každým z nich.

Reprodukovateľnosť je dizajnovým cieľom týchto výskumných línií. Každý riadok by mal spájať kandidátske tvrdenie so streamom, zdrojom a záznamom merania, ktoré ho vytvorili. Čítajte to ako evidenčný hárok so stavom overenia, nie ako propagačný materiál.

Čísla uvedené tu sú polia správy alebo porovnávacie ciele; pred zaobchádzaním s číslom ako s nameraným výsledkom skontrolujte zdrojový záznam a podmienky prístupu.

AI je dnes všade, no väčšina ľudí nevie, ako funguje, kam idú ich údaje alebo či môžu dôverovať odpovediam. Náš výskum existuje, aby to zmenil. Pracujeme na troch problémoch, ktoré sú dôležité pre každého, kto používa technológie.

Tri otázky, ktoré usmerňujú všetko, čo vytvárame.

Skúmame, ako dosiahnuť, aby AI vysvetlila svoje uvažovanie, vždy poskytla rovnakú odpoveď a priznala, keď si nie je istá. Nikdy by ste nemuseli dôverovať čiernej skrinke. Mali by ste vidieť, prečo niečo povedala, a rozhodnúť sa sami.

Prevádzka AI môže spotrebovať veľa energie. Hľadáme spôsoby, ako dosiahnuť rovnaký výsledok s oveľa menšou spotrebou. Keď AI spotrebuje menej elektriny, stojí menej a menej znečisťuje, takže si ju môžu dovoliť aj menšie organizácie a verejné služby.

Skúmame, ako vytvoriť AI, ktorá ukladá a spracúva vaše informácie v rámci európskych hraníc, podľa európskeho práva. To znamená, že sú chránené GDPR, nie odovzdané cudzím sledovacím systémom, a starajú sa o ne ľudia, ktorým môžete skladať účty.

Každý stream je publikovaný otvorene, aby si ostatní mohli overiť prácu za tvrdením.

Výskum Dweve je organizovaný okolo štyroch strategických oblastí, ktoré priamo zodpovedajú možnostiam produktov. Každá z nich je verejná výskumná vrstva, ktorá podporuje komerčné tvrdenie. Prejdite myšou na stream a zistíte, čo podporuje.

Štyri streamy. Jedna misia: suverénna, efektívna, dôveryhodná AI.

Výskum rámcov dátovej rezidencie a prenosových mechanizmov, ktoré spĺňajú Schrems II. Toto je základ našich záruk nasadenia, že dáta zostávajú v rámci európskych hraníc, pod európskym právom.

Výskum homomorfného šifrovania, bezpečnej agregácie pre federované trénovanie a dôkazov s nulovým znalostným rozsahom pre overenie modelov. Toto je základ federovaného učenia v rámci Mesh, nášho produktu pre kruhovú výpočtovú techniku.

Kontrola nákladov a správa udržateľnosti

Výskum kvantizácie a práce s jadrami špecifickými pre hardvér, ktorá znižuje energiu potrebnú pre model bez zhoršenia výstupu. Menej elektriny znamená nižšie prevádzkové náklady a menšiu stopu.

Výskum aritmetiky s pevnou rádovou čiarkou, deterministického náhodného generovania a platformovo nezávislého vykonávania, aby model poskytol rovnakú odpoveď na každom stroji. Toto je základ reprodukovateľnosti, ktorú potrebujete pre audit.

Zverejňujeme priebežné výsledky, nepodarené experimenty a revidované hypotézy. Výskum ako otvorený inžiniersky proces.

Jacquard zostáva súkromnou výskumnou traťou. Akýkoľvek presun do Fabric, Nexus alebo Aura si vyžaduje samostatnú validáciu.

Prehrávanie Jacquard je výskumná vlastnosť, prehrávanie Mycelia je testovacia podmienka a Forge kontroluje ohraničené záväzky v experimentálnom programe.

Každý stream nesie stav dôkazov a hranicu okolo svojich súčasných tvrdení.

prehrávanie krok za krokom (výskumná vlastnosť)

rozsahy modelov: vnímanie, chémia, evolúcia

Model digitálneho sveta s explicitnými lokálnymi pravidlami a nákladmi na energiu. Správa podporuje deterministické prehrávanie ako testovateľnú vlastnosť; širšie tvrdenia o správaní zostávajú budúcou validačnou prácou.

Partnerský výskum, žiadne verejné vydanie

Forge skúma kandidátske implementácie jadier pomocou syntézy programov. Jeho dizajn využíva meranie založené na Cranelift a SMT kontroly ohraničených záväzkov; správa z roku 2025 nepreukazuje produkčnú pripravenosť ani výkonnosť benchmarkov.

Súkromné zdrojové úložisko, prístup na požiadanie

Prehliadačový svetový engine, ktorý môžu agenti stavať cez typované MCP rozhranie. Pevný časový krok, seedovaná náhodnosť a prehrávanie zo seedu a vstupného logu sú výskumné vlastnosti na vyhodnotenie. Zdrojové úložisko je súkromné.

Naše výskumné programy premieňajú zložité systémové otázky na skúmateľné aparáty: deterministické svety, syntézne pipeline a laboratóriá umelého života. Výstupom nie je len demo, ale cesta, ktorú môže iný inžinier zreprodukovať a spochybniť.

Jacquard skúma sémantiku deterministických svetov, Forge skúma syntézu programov a Mycelia skúma umelý život. Každý program má vlastný aparát, typ výsledku a hranicu zlyhania.

Otvorte príbeh implementácie každého programu

Každý program vlastní svoj stav a dôkazy

Typovaný svetový engine s pevnými krokmi, explicitnými prechodmi a prehrateľnými stopami agentov.

Syntézny pipeline, ktorý prehľadáva kandidátske programy, zostupuje cez Cranelift, meria ich a kontroluje ohraničené povinnosti korektnosti.

Deterministické laboratórium umelého života pre lokálne pravidlá, tlak zdrojov, línie a emergentnú štruktúru. Jeho behy zostávajú výskumným dôkazom, nie samy osebe vedeckým záverom.

Program začína pozorovateľným tvrdením, kontrolovanými premennými, perturbáciami a stop podmienkou. Špecifikácia určuje stav, ktorý si ponechávame, a protipríklad, ktorý môže znovu otvoriť výsledok.

Experimentálna zmluva predchádza implementácii

Nešpecifikovaný stav nemôže podporiť reprodukovateľné tvrdenie

Zachováva mechanizmus svoj invariant naprieč kontrolovanými perturbáciami

Invariant, rodina perturbácií a hranica pozorovania sú záväzné pred behom.

Typované entity, prechody, hodiny a semená.

Prípady sa menia nezávisle oproti pevnej základni.

Invarianty a prahy zlyhania sa spúšťajú ako kontroly.

Žiadna inferencia mimo verzovaného stavového priestoru

Otázka, aparát, beh, výzva a prenos sú prepojené verzovanými vstupmi a výstupmi. Vyberte bránu a preskúmajte zmluvu na tejto hranici.

Každá hrana sa dá prehrať alebo odmietnuť

Definujte invariant, pozorovaciu plochu, riadený stav, rodinu perturbácií a pravidlo zastavenia.

Implementujte minimálny deterministický aparát s explicitnými hodinami, seedmi, schémami a hranicami udalostí.

Vykonajte protokol pri zachovaní vstupov, prechodov, časovaní, výstupov a identity prostredia.

Generujte protipríklady naprieč seedmi, okrajovými prípadmi, škálou a zmenenými predpokladmi; pripojte zlyhania k výsledku.

Exportujte prežívajúci mechanizmus, hranicu API, reprodukčný balík a prevádzkové obmedzenia ako jeden odovzdávací balík.

Potvrdenie spája revíziu zdroja, identitu zostavy, protokol, stav, pozorovania, kontroly a limity. Druhý inžinier dokáže získať cestu bez hádania, ktoré prostredie ju vytvorilo.

revízia + seed + protokol → identický hash stopy

Výskumný výsledok prechádza do produktového inžinierstva len s explicitným rozhraním, reprodukovateľným správaním, kontextom benchmarku a režimom zlyhania, ktorý cieľ dokáže prevádzkovať.

Register rozlišuje výsledok od integrácie

Náklady na vyhľadávanie zostávajú ohraničené

Každý program má vlastnú architektúru, aparát a podobu výsledkov. Polica s dokumentmi poskytuje širší teoretický a empirický kontext týchto systémov.

Nasledujte otázky v tvare kódu do ich programu

Najprv podrobnosti programov, prierezové dokumenty vedľa nich