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.

Istraživanje energetski učinkovitog zaključivanja

Istraživanje pretraživanja binarnih vektora

Inženjeri pretvaraju dokazanu ideju u stvarni kod. Isti testovi koji su dokazali istraživanje sada dokazuju i proizvod. Vi imate korist bez da ikada pročitate rad.

Prije nego što istraživanje postane značajka, objavljujemo ga kako bi drugi mogli provjeriti našu metodu, naše podatke i naše zaključke. Otvorena provjera otkriva pogreške i čini rad boljim.

Gradimo prototipove, provodimo eksperimente i mjerimo rezultate na stvarnim podacima. Ako nešto ne radi, i to zabilježimo. Negativan rezultat također je rezultat.

Pretraživanje je presporo. Odgovori su nedosljedni. Računi za energiju su previsoki. Pretvaramo ono na što se ljudi žale u precizno pitanje koje možemo proučavati.

Replay je testabilno svojstvo pod fiksnom izgradnjom

Predloženi vremenski korak od 60 Hz, sjeme nasumičnosti i tipizirani put dnevnika unosa

Kandidati kernela provjereni prema ograničenim obvezama

SMT provjere sa Z3 i CVC5 te Cranelift put generiranja koda; validacija u tijeku

Poznati kandidat za optimizaciju (primjer)

Primjer kandidata: put s tri množenja za kompleksno množenje

Cilj usporedbe broja množenja (ne objavljena referentna vrijednost)

Hipoteza optimizacije rijetkog raspoređivanja

Rijetko raspoređivanje predloženo je za preskakanje neaktivnih ćelija; ponašanje po koraku zahtijeva validaciju

Cilj usporedbe uštede CPU-a (ne objavljen rezultat)

Uvjeti ponavljanja su testabilni; potpuna ponovljivost ostaje za validaciju

Deklarirana pravila namijenjena su podršci ponavljanju korak po korak; validacija je u tijeku

Svaka brojka treba pratiti izvornu izvedbu i zapis mjerenja; status dokaza dio je pregleda.

Opseg kandidatskog pozadinskog sustava Forgea uključuje x86-64, RISC-V, WebAssembly i GPU; pokrivenost i kvaliteta zahtijevaju validaciju.

Jacquard izvorni kod je privatan i dostupan na zahtjev. Forge ostaje istraživački i nije otvoren.

Ponovljivost je cilj dizajna ovih istraživačkih smjerova. Svaki redak treba povezati kandidatsku tvrdnju s tokom, izvorom i zapisom mjerenja koji su je proizveli. Čitajte to kao list dokaza sa statusom validacije, ne kao brošuru.

Brojke prikazane ovdje su polja izvješća ili ciljevi usporedbe; provjerite izvorni zapis i uvjete pristupa prije nego što ih tretirate kao izmjereni rezultat.

Umjetna inteligencija danas je posvuda, no većina ljudi ne zna kako funkcionira, kamo odlaze njihovi podaci ili mogu li vjerovati odgovorima. Naše istraživanje postoji kako bi to promijenilo. Radimo na tri problema koja su važna svima koji koriste tehnologiju.

Tri pitanja koja usmjeravaju sve što gradimo.

Postavljena prije nego što išta izgradimo

Proučavamo kako učiniti da umjetna inteligencija objasni svoje razmišljanje, svaki put da isti odgovor i kaže kada nije sigurna. Nikada ne biste trebali morati vjerovati crnoj kutiji. Trebali biste moći vidjeti zašto je nešto rekla i sami odlučiti.

Pokretanje umjetne inteligencije može trošiti puno energije. Tražimo načine da dobijemo isti odgovor uz znatno manje. Kada umjetna inteligencija troši manje struje, košta manje i manje zagađuje, pa si je mogu priuštiti i manje organizacije i javne službe.

Umjetna inteligencija koja poštuje mrežu.

Proučavamo kako izgraditi umjetnu inteligenciju koja pohranjuje i obrađuje vaše podatke unutar europskih granica, u skladu s europskim zakonima. To znači da su zaštićeni GDPR-om, da se ne predaju stranom nadzoru te da se o njima brinu ljudi koje možete smatrati odgovornima.

Svaki stream objavljuje javno kako bi drugi mogli provjeriti rad iza tvrdnje.

Dweve istraživanje organizirano je oko četiri strateška područja koja se izravno preslikavaju na mogućnosti proizvoda. Svako je javni istraživački sloj koji podupire komercijalnu tvrdnju. Zadržite pokazivač iznad streama da vidite što podupire.

Četiri streama. Jedna misija: suverena, učinkovita, pouzdana umjetna inteligencija.

Jamstva implementacije i rezidentnosti podataka

Istraživanje okvira za rezidentnost podataka i mehanizama prijenosa koji zadovoljavaju Schrems II. To podupire naša jamstva implementacije da podaci ostaju unutar europskih granica, pod europskim zakonom.

Istraživanje homomorfne enkripcije, sigurne agregacije za savezno treniranje i dokaza s nultim znanjem za provjeru modela. To je temelj ispod saveznog učenja unutar Mesh, našeg proizvoda za kružno računanje.

Kontrola troškova i izvještavanje o održivosti

Istraživanje kvantizacije i rada na kernelima specifičnim za hardver koji smanjuje snagu koju model treba bez pogoršanja izlaza. Manje električne energije znači niži operativni trošak i manji otisak.

Istraživanje aritmetike s fiksnom točkom, sjemenog slučajnosti i izvođenja neovisnog o platformi tako da model daje identičan odgovor na svakom stroju. To podupire ponovljivost koju trebate za reviziju.

Objavljujemo međurezultate, neuspjele eksperimente i revidirane hipoteze. Istraživanje kao otvoreni inženjerski proces.

Jacquard ostaje privatni istraživački smjer. Svaki prijenos u Fabric, Nexus ili Aura zahtijeva zasebnu validaciju.

Jacquard replay je istraživačko svojstvo, Mycelia replay je testni uvjet, a Forge provjerava ograničene obveze u eksperimentalnom programu.

Svaki tok nosi status dokaza i granicu oko svojih trenutnih tvrdnji.

replay korak po korak (istraživačko svojstvo)

model opsezi: percepcija, kemija, evolucija

Istraživačka baza koda, pristup na zahtjev

Model digitalnog svijeta s eksplicitnim lokalnim pravilima i energetskim troškovima. Izvješće podržava deterministički replay kao testabilno svojstvo; šire tvrdnje o ponašanju ostaju budući validacijski rad.

Ciljani pozadinski sustavi (opseg evaluacije)

Partnersko istraživanje, bez javnog izdanja

Forge istražuje kandidatske implementacije jezgre kroz programsku sintezu. Njegov dizajn koristi mjerenje temeljeno na Craneliftu i SMT provjere za ograničene obveze; izvješće iz 2025. ne utvrđuje spremnost za proizvodnju ni performanse mjerila.

Pregledni svjetski stroj koji agenti mogu graditi kroz tipizirano MCP sučelje. Fiksni vremenski korak, sjemenovana nasumičnost i replay iz sjemenke i dnevnika unosa istraživačka su svojstva za evaluaciju. Izvorište je privatno.

Naši istraživački programi pretvaraju složena pitanja o sustavima u pregledne aparate: determinističke svjetove, cjevovode za sintezu i laboratorije umjetnog života. Rezultat nije samo demonstracija, već put koji drugi inženjer može reproducirati i propitati.

Jacquard proučava semantiku determinističkih svjetova, Forge proučava sintezu programa, a Mycelia proučava umjetni život. Svaki program ima vlastiti aparat, vrstu rezultata i granicu neuspjeha.

Otvori priču o implementaciji iza svakog programa

Svaki program posjeduje svoje stanje i dokaze

Tipizirani svjetski stroj s izvršavanjem u fiksnim koracima, eksplicitnim prijelazima i ponovljivim tragovima agenata.

Cjevovod za sintezu koji pretražuje kandidatske programe, spušta ih kroz Cranelift, mjeri ih i provjerava ograničene obveze ispravnosti.

Deterministički laboratorij umjetnog života za lokalna pravila, pritisak resursa, lozu i emergentnu strukturu. Njegova izvođenja ostaju istraživački dokazi, ne znanstveni zaključak sami po sebi.

Program počinje s opažljivom tvrdnjom, kontroliranim varijablama, perturbacijama i uvjetom zaustavljanja. Specifikacija određuje stanje koje zadržavamo i protuprimjer koji može ponovno otvoriti rezultat.

Eksperimentalni ugovor prethodi implementaciji

Nespecificirano stanje ne može podržati ponovljivu tvrdnju

Čuva li mehanizam svoju invarijantu kroz kontrolirane perturbacije

Invarijanta, obitelj perturbacija i granica promatranja predani su prije izvođenja.

Tipizirani entiteti, prijelazi, satovi i sjemenke.

Slučajevi variraju neovisno u odnosu na fiksnu osnovicu.

Invarijante i pragovi neuspjeha izvode se kao provjere.

Nema zaključivanja izvan verzioniranog prostora stanja

Pitanje, aparat, izvođenje, izazov i prijenos povezani su verzioniranim ulazima i izlazima. Odaberite kapiju za pregled ugovora na toj granici.

Od pitanja do kvalificirane primopredaje

Svaki rub može se ponovno izvesti ili odbaciti

Definirajte invarijantu, površinu promatranja, kontrolirano stanje, obitelj perturbacija i pravilo zaustavljanja.

Implementirajte minimalni deterministički aparat s eksplicitnim satovima, sjemenkama, shemama i granicama događaja.

Izvršite protokol zadržavajući ulaze, prijelaze, vremena, izlaze i identitet okruženja.

Generirajte protuprimjere kroz sjemenke, rubne slučajeve, skalu i izmijenjene pretpostavke; pripišite neuspjehe rezultatu.

Izvezite preživjeli mehanizam, API granicu, paket reprodukcije i operativna ograničenja kao jednu predaju.

Potvrda povezuje reviziju izvora, identitet izgradnje, protokol, stanje, opažanja, provjere i ograničenja. Drugi inženjer može rekonstruirati put bez nagađanja koje je okruženje omogućilo rad.

revizija + sjemenka + protokol → identičan hash traga

Istraživački rezultat prelazi u inženjering proizvoda samo s eksplicitnim sučeljem, reproducibilnim ponašanjem, kontekstom mjerila i načinom neuspjeha kojim odredište može upravljati.