Research Programmes, Papers and Reports

Choose the audience that matches your question

The page contains three selectable readings of the same subject.

Ingeniører omsætter den beviste idé til rigtig kode. De samme tests, der beviste forskningen, beviser nu produktet. Du får fordelen uden nogensinde at læse artiklen.

Før forskning bliver til en funktion, offentliggør vi den, så andre kan kontrollere vores metode, vores data og vores konklusioner. Åben granskning fanger fejl og gør arbejdet stærkere.

Vi bygger prototyper, kører eksperimenter og måler resultaterne mod rigtige data. Hvis noget ikke virker, skriver vi også det ned. Et negativt resultat er stadig et resultat.

Søgning er for langsom. Svar er inkonsistente. Energiregningerne er for høje. Vi omsætter det, folk klager over, til et præcist spørgsmål, vi kan undersøge.

Replay er en testbar egenskab under en fastlåst build

Foreslået 60Hz-tidsstep, seedet tilfældighed og en typet input-log-sti

Kandidatkerner kontrolleret mod afgrænsede forpligtelser

SMT-kontrol med Z3 og CVC5 plus en Cranelift-codegen-sti; validering afventer

Kandidateksempel: en tre-multiplikations-rute til kompleks multiplikation

Sammenligningsmål for multiplikationsantal (ikke en offentliggjort benchmark)

Optimeringshypotese for sparsom dispatch

Sparsom dispatch foreslås at springe inaktive celler over; adfærd pr. tick kræver validering

Sammenligningsmål for CPU-besparelse (ikke et offentliggjort resultat)

Replay-betingelser er testbare; fuld reproducerbarhed mangler at blive valideret

Erklærede regler er beregnet til at understøtte tick-for-tick-replay; validering afventer

Hver figur skal spores til kørslen og måleposten; evidensstatus er en del af gennemgangen.

Forge's kandidat-backend-omfang inkluderer x86-64, RISC-V, WebAssembly og GPU; dækning og kvalitet kræver validering.

Jacquard-kildekoden er privat og tilgængelig efter anmodning. Forge forbliver forskning og er ikke åben.

Reproducerbarhed er et designmål for disse forskningsspor. Hver række skal parre en kandidatpåstand med strømmen, kilden og måleposten, der producerede den. Læs det som et evidensark med valideringsstatus, ikke som en brochure.

Tal vist her er rapportfelter eller sammenligningsmål; tjek kildeoptegnelsen og adgangsbetingelserne, før du behandler et som et målt resultat.

AI er overalt nu, men de fleste ved ikke, hvordan det virker, hvor deres data ender, eller om de kan stole på svarene. Vores forskning findes for at ændre det. Vi arbejder på tre problemer, der betyder noget for alle, der bruger teknologi.

Tre spørgsmål, der styrer alt, hvad vi bygger.

Vi undersøger, hvordan man får AI til at forklare sin ræsonneren, give det samme svar hver gang, og sige til, når den er usikker. Du skal aldrig skulle stole på en black box. Du skal kunne se, hvorfor den sagde noget, og selv beslutte dig.

At køre AI kan bruge meget strøm. Vi leder efter måder at få det samme svar med langt mindre. Når AI bruger mindre elektricitet, koster det mindre og forurener mindre, så også mindre organisationer og offentlige tjenester har råd til det.

Vi undersøger, hvordan man bygger AI, der gemmer og håndterer dine oplysninger inden for Europas grænser, under europæisk lov. Det betyder, at det er beskyttet af GDPR, ikke overdraget til udenlandsk overvågning, og passet af mennesker, du kan stille til ansvar.

Hver stream publiceres åbent, så andre kan kontrollere arbejdet bag påstanden.

Dweve-forskning er organiseret omkring fire strategiske områder, der direkte afspejler produktets funktioner. Hvert område er det offentlige forskningslag, der understøtter en kommerciel påstand. Hold markøren over en stream for at se, hvad den understøtter.

Fire streams. Én mission: suveræn, effektiv, troværdig AI.

Garantier for implementering og dataresidens

Forskning i rammer for dataresidens og overførselsmekanismer, der opfylder Schrems II. Dette understøtter vores implementeringsgarantier om, at data forbliver inden for Europas grænser, under europæisk lov.

Forskning i homomorf kryptering, sikker aggregering til fødereret træning og zero-knowledge-beviser til modelverifikation. Dette er fundamentet under den fødererede læring i Mesh, vores cirkulære compute-produkt.

Omkostningsstyring og bæredygtighedsrapportering

Forskning i kvantisering og hardware-specifikt kernel-arbejde, der reducerer den strøm, en model har brug for, uden at forringe outputtet. Mindre elektricitet betyder lavere driftsomkostning og et mindre aftryk.

Reproducerbarheds- og revisionsgarantier

Forskning i fixed-point-aritmetik, seedet tilfældighed og platformsuafhængig eksekvering, så en model giver identiske svar på enhver maskine. Dette understøtter den reproducerbarhed, du har brug for til en revision.

Vi offentliggør delresultater, fejlslagne eksperimenter og reviderede hypoteser. Forskning som en åben ingeniørproces.

Jacquard forbliver et privat forskningsspor. Enhver overførsel til Fabric, Nexus eller Aura kræver separat validering.

Jacquard-replay er en forskningsegenskab, Mycelia-replay er en testbetingelse, og Forge kontrollerer afgrænsede forpligtelser i et eksperimentelt program.

Hver strøm bærer en evidensstatus og en grænse omkring sine nuværende påstande.

tick-for-tick replay (forskningsegenskab)

modelscopes: perception, kemi, evolution

Forskningskodebase, adgang efter anmodning

En digital-verden-model med eksplicitte lokale regler og energiomkostninger. Rapporten understøtter deterministisk replay som en testbar egenskab; bredere adfærdspåstande forbliver fremtidigt valideringsarbejde.

Partnerforskning, ingen offentlig udgivelse

Forge udforsker kandidatkerneimplementeringer gennem programsyntese. Dets design bruger Cranelift-baseret måling og SMT-kontrol for afgrænsede forpligtelser; 2025-rapporten fastslår ikke produktionsparathed eller benchmarkydelse.

Privat kildekode-repository, adgang efter anmodning

En browserbaseret verdensmotor, som agenter kan bygge gennem en typet MCP-overflade. Fast tidsstempel, seedet tilfældighed og replay fra et seed og inputlog er forskningsegenskaber, der skal evalueres. Kildekode-repositoryet er privat.

Vores forskningsprogrammer gør vanskelige systemspørgsmål til inspicerbare apparater: deterministiske verdener, syntesepipelines og kunstige livslaboratorier. Resultatet er ikke kun en demo, men en rute, som en anden ingeniør kan reproducere og udfordre.

Jacquard studerer deterministisk verdenssemantik, Forge studerer programsyntese, og Mycelia studerer kunstigt liv. Hvert program har sit eget apparat, resultattype og fejlgrænse.

Åbn implementeringshistorien bag hvert program

Hvert program ejer sin tilstand og evidens

En typet verdensmotor med fast-trins eksekvering, eksplicitte overgange og afspilbare agentspor.

En syntesepipeline, der søger efter kandidatprogrammer, nedbringer dem gennem Cranelift, måler dem og kontrollerer afgrænsede korrekthedsforpligtelser.

Et deterministisk kunstigt livslaboratorium for lokale regler, ressourcepres, afstamning og emergent struktur. Dets kørsler forbliver forskningsevidence, ikke i sig selv en videnskabelig konklusion.

Et program starter med et observerbart krav, kontrollerede variabler, perturbationer og en stopbetingelse. Specifikationen bestemmer den tilstand, vi bevarer, og det modeksempel, der kan genåbne resultatet.

Eksperimentkontrakten går forud for implementeringen

Uspecificeret tilstand kan ikke understøtte et reproducerbart krav

Bevarer mekanismen sin invariant på tværs af kontrollerede perturbationer

Invarianten, perturbationsfamilien og observationsgrænsen er forpligtet før kørslen.

Cases varierer uafhængigt mod en fast baseline.

Invarianter og fejltærskler kører som checks.

Ingen inferens uden for det versionerede tilstandsrum

Spørgsmål, apparat, kørsel, udfordring og overførsel er forbundet via versionerede input og output. Vælg en port for at inspicere kontrakten ved den grænse.

Fra spørgsmål til kvalificeret overdragelse

Definér invarianten, observationsfladen, den kontrollerede tilstand, perturbationsfamilien og stopreglen.

Implementér det minimale deterministiske apparat med eksplicitte ure, frø, skemaer og hændelsesgrænser.

Udfør protokollen, mens du bevarer input, overgange, tidsmålinger, output og miljøidentitet.

Generér modeksempler på tværs af frø, kanttilfælde, skala og ændrede antagelser; knyt fejl til resultatet.

Eksportér den overlevende mekanisme, API-grænse, reproduktionspakke og operationelle begrænsninger som én overdragelse.

Kvitteringen binder kildeversion, build-identitet, protokol, tilstand, observationer, kontroller og begrænsninger. En anden ingeniør kan rekonstruere ruten uden at gætte på, hvilket miljø der fik det til at virke.

Et resultat uden sit miljø er ufuldstændigt

revision + frø + protokol → identisk spor-hash

Kvalificeret til dette skema og denne runtime

Et forskningsresultat krydser kun ind i produktudvikling med en eksplicit grænseflade, reproducerbar adfærd, benchmark-kontekst og en fejltilstand, som destinationen kan håndtere.

Registret adskiller et resultat fra en integration

Each programme carries its own architecture, apparatus, and result shape. The paper shelf provides the longer theoretical and empirical context around those systems.