Research Programmes, Papers and Reports

Explore three active research lines, six ABMN working papers, and two investigative reports with their evidence status and boundaries attached.

Dweve research programme

Dweve research follows Jacquard, Forge and Mycelia. The programme pages state the question, mechanism, evidence boundary and access status. Research access is not a product release or a public open-source promise.

  • Jacquard is a private research track. Source access and evaluation terms are available by request through Dweve.
  • The 2025 Forge report describes an experimental programme, not production readiness, and publishes no benchmark results.
  • The Mycelia report supports deterministic replay as a testable property. Million-tick runs and emergent-behaviour claims still need future validation.
  • The ABMN records are working papers, while the two book volumes are investigative reports. These labels do not mean peer-reviewed publication.

Choose the audience that matches your question

The page contains three selectable readings of the same subject.

For consumers

Dweve research covers three separate questions: replayable agent-built worlds, bounded program synthesis, and deterministic artificial life. Each route explains the current evidence and its limits.

For businesses

The Dweve research portfolio separates research access from product availability. Jacquard, Forge and Mycelia each carry a named question, evidence boundary and route for the next decision.

For engineers

Dweve research packages a typed world engine, a synthesis programme and an artificial-life substrate as inspectable lines. Reproduction details, status and transfer gates stay attached to each claim.

Energiją taupančios išvadų skaičiavimo tyrimai

Inžinieriai įrodytą idėją paverčia tikru kodu. Tie patys testai, kurie įrodė tyrimą, dabar įrodo produktą. Jūs gaunate naudą niekada neskaitę mokslinio straipsnio.

Prieš tyrimui tampant funkcija, mes jį publikuojame, kad kiti galėtų patikrinti mūsų metodą, duomenis ir išvadas. Atvira patikra padeda pastebėti klaidas ir sustiprina darbą.

Mes kuriame prototipus, atliekame eksperimentus ir matuojame rezultatus pagal realius duomenis. Jei kas nors neveikia, mes tai taip pat užrašome. Neigiamas rezultatas vis tiek yra rezultatas.

Mes suprojektuojame ir išbandome pataisymą.

Paieška per lėta. Atsakymai nenuoseklūs. Energijos sąskaitos per didelės. Mes paverčiame tai, dėl ko žmonės skundžiasi, į tikslų klausimą, kurį galime ištirti.

Replay yra patikrinama savybė fiksuotoje versijoje

Siūlomas 60 Hz laiko žingsnis, nustatytas atsitiktinumas ir tipizuotas įvesties žurnalo kelias

Kandidatų branduoliai tikrinami pagal nustatytus įsipareigojimus

SMT patikros su Z3 ir CVC5 bei Cranelift kodo generavimo kelias; patvirtinimas laukia

Žinomas optimizavimo kandidatas (pavyzdys)

Kandidato pavyzdys: trijų daugybų kelias kompleksiniam dauginimui

Daugybų skaičiaus palyginimo tikslas (ne publikuotas etalonas)

Retas išsiuntimas siūlomas siekiant praleisti neaktyvias ląsteles; elgsena per laiko žingsnį reikalauja patvirtinimo

CPU taupymo palyginimo tikslas (ne publikuotas rezultatas)

Replay sąlygos yra patikrinamos; visiškas atkuriamumas dar turi būti patvirtintas

Paskelbtos taisyklės skirtos palaikyti replay laiko žingsniu; patvirtinimas laukia

Kiekvienas skaičius turėtų atitikti šaltinio vykdymą ir matavimo įrašą; įrodymų būsena yra peržiūros dalis.

Forge kandidatų backend apimtis apima x86-64, RISC-V, WebAssembly ir GPU; aprėptis ir kokybė reikalauja patvirtinimo.

Jacquard šaltinis yra privatus ir prieinamas paprašius. Forge lieka tyrimų stadijoje ir nėra atviras.

Teiginiai, įrodymai ir skaičius už kiekvieną.

Atkuriamumas yra dizaino tikslas šiose tyrimų kryptyse. Kiekviena eilutė turėtų susieti kandidato teiginį su srautu, šaltiniu ir matavimo įrašu, kuris jį sukūrė. Skaitykite tai kaip įrodymų lentelę su patvirtinimo būsena, o ne kaip brošiūrą.

Čia pateikti skaičiai yra ataskaitos laukai arba palyginimo tikslai; prieš laikydami juos išmatuotu rezultatu, patikrinkite šaltinio įrašą ir prieigos sąlygas.

Dirbtinis intelektas dabar yra visur, tačiau dauguma žmonių nežino, kaip jis veikia, kur keliauja jų duomenys arba ar gali pasitikėti atsakymais. Mūsų tyrimai skirti tai pakeisti. Dirbame su trimis problemomis, kurios rūpi kiekvienam, kas naudojasi technologijomis.

Trys klausimai, kuriais vadovaujamės kurdami viską.

Tiriame, kaip padaryti, kad dirbtinis intelektas paaiškintų savo sprendimus, kiekvieną kartą duotų tą patį atsakymą ir pripažintų, kai nėra tikras. Niekada neturėtumėte pasikliauti juodąja dėže. Turėtumėte matyti, kodėl jis ką nors pasakė, ir patys nuspręsti.

Tas pats rezultatas, maža dalis energijos

Dirbtinio intelekto veikimas gali sunaudoti daug energijos. Ieškome būdų, kaip gauti tą patį atsakymą naudojant kur kas mažiau. Kai dirbtinis intelektas sunaudoja mažiau elektros, jis kainuoja mažiau ir mažiau teršia, todėl mažesnės organizacijos ir viešosios paslaugos taip pat gali jį sau leisti.

Dirbtinis intelektas, gerbiantis tinklą.

Tiriame, kaip sukurti dirbtinį intelektą, kuris saugotų ir tvarkytų jūsų informaciją Europos ribose, vadovaudamasis Europos teise. Tai reiškia, kad jį saugo GDPR, jis nėra perduodamas užsienio žvalgyboms, o juo rūpinasi žmonės, kuriems galite kelti reikalavimus.

Kiekvienas srautas skelbiamas atvirai, kad kiti galėtų patikrinti darbą, kuriuo grindžiamas teiginys.

„Dweve“ tyrimai organizuojami pagal keturias strategines sritis, kurios tiesiogiai atitinka produkto galimybes. Kiekviena iš jų yra viešas tyrimų sluoksnis, pagrindžiantis komercinį teiginį. Užveskite pelę ant srauto, kad pamatytumėte, ką jis pagrindžia.

Keturi srautai. Viena misija: suverenus, efektyvus, patikimas dirbtinis intelektas.

Diegimo ir duomenų buvimo vietos garantijos

Tyrimai apie duomenų buvimo vietos sistemas ir perdavimo mechanizmus, atitinkančius Schrems II sprendimą. Tai pagrindžia mūsų diegimo garantijas, kad duomenys lieka Europos ribose, vadovaujantis Europos teise.

Tyrimai apie homomorfinį šifravimą, saugų agregavimą federaciniam mokymui ir nulinio žinojimo įrodymus modelio patikrinimui. Tai yra pagrindas federaciniam mokymuisi „Mesh“, mūsų žiedinio skaičiavimo produktui.

Bendradarbiaukite neatskleisdami duomenų.

Tyrimai apie kvantizavimą ir aparatinės įrangos branduolio darbą, kurie sumažina modelio energijos poreikį nepablogindami rezultato. Mažiau elektros reiškia mažesnes veiklos išlaidas ir mažesnį poveikį aplinkai.

Tyrimai apie fiksuoto kablelio aritmetiką, nustatytą atsitiktinumą ir nuo platformos nepriklausomą vykdymą, kad modelis kiekviename įrenginyje duotų identišką atsakymą. Tai pagrindžia atkuriamumą, kurio reikia auditui.

Tas pats įvestis, tas pats išvestis, kiekvieną kartą.

Skelbiame tarpinius rezultatus, nepavykusius eksperimentus ir patikslintas hipotezes. Tyrimai kaip atviras inžinerijos procesas.

Jacquard lieka privatus tyrimų takelis. Bet koks perkėlimas į Fabric, Nexus ar Aura reikalauja atskiros validacijos.

Jacquard atkartojimas yra tyrimų savybė, Mycelia atkartojimas yra testavimo sąlyga, o Forge tikrina apribotus įsipareigojimus eksperimentinėje programoje.

Kiekvienas srautas turi įrodymų būseną ir ribas, apibrėžiančias jo dabartinius teiginius.

atkartojimas žingsnis po žingsnio (tyrimų savybė)

modelio sritys: suvokimas, chemija, evoliucija

Skaitmeninio pasaulio modelis su aiškiomis vietinėmis taisyklėmis ir energijos sąnaudomis. Ataskaita pagrindžia deterministinį atkartojimą kaip tikrinamą savybę; platesni elgesio teiginiai lieka ateities validacijos darbui.

Pavyzdinis pavyzdys (matavimas laukiamas)

Tikslinės galinės sistemos (vertinimo apimtis)

Forge tiria kandidatines branduolio įgyvendinimo versijas per programų sintezę. Jo dizainas naudoja Cranelift pagrįstus matavimus ir SMT patikras apribotiems įsipareigojimams; 2025 m. ataskaita nenustato gamybinės parengties ar našumo etalonų.

Privatus šaltinio kodas, prieiga pagal prašymą

Naršyklėje veikiantis pasaulio variklis, kurį agentai gali kurti per tipizuotą MCP sąsają. Fiksuotas laiko žingsnis, nustatytas atsitiktinumas ir atkartojimas iš sėklos bei įvesties žurnalo yra tyrimų savybės, kurias reikia įvertinti. Šaltinio kodas yra privatus.

Mūsų tyrimų programos sudėtingus sistemų klausimus paverčia apžiūrimais aparatais: deterministiniais pasauliais, sintezės vamzdynais ir dirbtinės gyvybės laboratorijomis. Rezultatas yra ne tik demonstracija, bet ir kelias, kurį kitas inžinierius gali atkartoti ir užginčyti.

Jacquard tiria deterministinę pasaulio semantiką, Forge tiria programų sintezę, o Mycelia tiria dirbtinę gyvybę. Kiekviena programa turi savo aparatą, rezultatų tipą ir gedimo ribą.

Atskleiskite kiekvienos programos įgyvendinimo istoriją

Kiekviena programa valdo savo būseną ir įrodymus

Tipizuotas pasaulio variklis su fiksuoto žingsnio vykdymu, aiškiais perėjimais ir atkuriamais agentų pėdsakais.

Sintezės vamzdynas, kuris ieško kandidatinių programų, jas žemina per Cranelift, matuoja ir tikrina ribotas teisingumo prievoles.

Deterministinė dirbtinės gyvybės laboratorija vietinėms taisyklėms, išteklių spaudimui, kilmės linijoms ir atsirandančiai struktūrai. Jos paleidimai lieka tyrimų įrodymais, o ne moksline išvada savaime.

pakankamai mažą, kad būtų galima paneigti

Programa prasideda stebimu teiginiu, kontroliuojamais kintamaisiais, perturbacijomis ir sustojimo sąlyga. Specifikacija nustato būseną, kurią išlaikome, ir kontrpavyzdį, kuris gali atidaryti rezultatą iš naujo.

Eksperimento sutartis lenkia įgyvendinimą

Nenurodyta būsena negali pagrįsti atkuriamo teiginio

Ar mechanizmas išlaiko savo invariantą per kontroliuojamas perturbacijas

Invariantas, perturbacijų šeima ir stebėjimo riba yra įsipareigojami prieš paleidimą.

Tipizuoti subjektai, perėjimai, laikrodžiai ir sėklos.

Atvejai kinta nepriklausomai nuo fiksuoto pagrindo.

Invariantai ir gedimo slenksčiai veikia kaip patikros.

Jokios išvados už versijuotos būsenos erdvės ribų

Instrumentuotas nuo pradžios iki pabaigos

Klausimas, aparatas, paleidimas, užginčijimas ir perdavimas yra sujungti versijuotais įėjimais ir išėjimais. Pasirinkite vartus, kad apžiūrėtumėte sutartį toje riboje.

Penkeri vartai, jokios nematomos būsenos

Kiekviena briauna gali būti atkurta arba atmesta

Apibrėžkite invariantą, stebėjimo paviršių, kontroliuojamą būseną, trikdžių šeimą ir sustabdymo taisyklę.

Įgyvendinkite minimalų deterministinį aparatą su aiškiais laikrodžiais, sėklomis, schemomis ir įvykių ribomis.

Vykdykite protokolą išlaikydami įvestis, perėjimus, laiką, išvestis ir aplinkos tapatybę.

Sugeneruokite kontrpavyzdžius per sėklas, kraštinius atvejus, mastą ir pakeistas prielaidas; pridėkite nesėkmes prie rezultato.

Eksportuokite išlikusį mechanizmą, API ribą, reprodukcijos paketą ir veiklos apribojimus kaip vieną perdavimą.

Kvitas susieja šaltinio versiją, kūrimo tapatybę, protokolą, būseną, stebėjimus, patikras ir ribas. Antras inžinierius gali atkurti kelią nespėliodamas, kuri aplinka jį padarė veikiantį.