Research Programmes, Papers and Reports

Choose the audience that matches your question

The page contains three selectable readings of the same subject.

Cercetare privind inferența eficientă din punct de vedere energetic

Cercetare privind regăsirea vectorilor binari

Inginerii transformă ideea dovedită în cod real. Aceleași teste care au dovedit cercetarea acum dovedesc produsul. Beneficiezi fără să citești vreodată lucrarea.

Înainte ca cercetarea să devină o funcționalitate, o publicăm pentru ca alții să ne poată verifica metoda, datele și concluziile. Scrutinul deschis descoperă greșeli și întărește munca.

Construim prototipuri, rulăm experimente și măsurăm rezultatele pe date reale. Dacă ceva nu funcționează, notăm și asta. Un rezultat negativ este tot un rezultat.

Căutarea este prea lentă. Răspunsurile sunt inconsistente. Facturile la energie sunt prea mari. Transformăm lucrul de care oamenii se plâng într-o întrebare precisă pe care o putem studia.

Replay este o proprietate testabilă sub o versiune fixată

Pas de timp propus de 60Hz, aleatoriu cu seed și o cale tipizată de jurnal de intrare

Kernel-ii candidați verificați față de obligații limitate

Verificări SMT cu Z3 și CVC5 plus o cale de generare de cod Cranelift; validare în așteptare

Candidat cunoscut de optimizare (exemplu)

Exemplu candidat: o rută cu trei înmulțiri pentru înmulțirea numerelor complexe

Țintă de comparație a numărului de înmulțiri (nu un benchmark publicat)

Ipoteză de optimizare a dispatch-ului dispersat

Dispatch-ul dispersat este propus pentru a sări peste celulele inactive; comportamentul pe tick necesită validare

Țintă de comparație pentru economisirea CPU (nu un rezultat publicat)

Condițiile de replay sunt testabile; reproducibilitatea completă rămâne de validat

Regulile declarate sunt menite să susțină replay-ul tick cu tick; validarea este în așteptare

Fiecare cifră ar trebui să se lege de rularea sursă și de înregistrarea măsurătorii; starea dovezilor face parte din revizuire.

Domeniul backend-ului candidat al Forge include x86-64, RISC-V, WebAssembly și GPU; acoperirea și calitatea necesită validare.

Sursa Jacquard este privată și disponibilă la cerere. Forge rămâne cercetare și nu este deschis.

Afirmații, dovezi și numărul din spatele fiecăreia.

Reproducibilitatea este un obiectiv de design pentru aceste direcții de cercetare. Fiecare rând ar trebui să asocieze o afirmație candidată cu fluxul, sursa și înregistrarea măsurătorii care au produs-o. Citește-l ca pe o fișă de dovezi cu stare de validare, nu ca pe o broșură.

Numerele afișate aici sunt câmpuri de raport sau ținte de comparație; verifică înregistrarea sursă și termenii de acces înainte de a trata unul ca rezultat măsurat.

AI este acum peste tot, dar majoritatea oamenilor nu știu cum funcționează, unde ajung datele lor sau dacă pot avea încredere în răspunsuri. Cercetarea noastră există pentru a remedia această problemă. Lucrăm la trei probleme care contează pentru toți cei care folosesc tehnologia.

Trei întrebări care ghidează tot ce construim.

Studiem cum să facem AI să își explice raționamentul, să dea același răspuns de fiecare dată și să spună când nu este sigur. Nu ar trebui să fii nevoit să ai încredere într-o cutie neagră. Ar trebui să poți vedea de ce a spus ceva și să decizi singur.

Același rezultat, o fracțiune din energie

Rularea AI poate consuma multă energie. Căutăm modalități de a obține același răspuns folosind mult mai puțin. Când AI folosește mai puțină electricitate, costă mai puțin și poluează mai puțin, astfel încât organizațiile mai mici și serviciile publice își pot permite și ele.

Studiem cum să construim AI care stochează și gestionează informațiile tale în interiorul granițelor europene, sub legislația europeană. Asta înseamnă că este protejat de GDPR, nu este predat supravegherii străine și este îngrijit de oameni pe care îi poți trage la răspundere.

Fiecare flux publică deschis, astfel încât alții să poată verifica munca din spatele afirmației.

Cercetarea Dweve este organizată în jurul a patru domenii strategice care corespund direct capacităților produsului. Fiecare este stratul public de cercetare care susține o afirmație comercială. Treceți cu mouse-ul peste un flux pentru a vedea ce susține.

Patru fluxuri. O singură misiune: AI suveran, eficient și demn de încredere.

Cercetare privind cadrele de rezidență a datelor și mecanismele de transfer care respectă Schrems II. Aceasta susține garanțiile noastre de implementare că datele rămân în interiorul granițelor europene, sub legea europeană.

Cercetare privind criptarea homomorfă, agregarea securizată pentru antrenamentul federat și dovezile cu zero cunoștințe pentru verificarea modelelor. Aceasta este fundația pentru învățarea federată din Mesh, produsul nostru de calcul circular.

Calcul care păstrează confidențialitatea

Controlul costurilor și raportarea sustenabilității

Cercetare privind cuantizarea și kernel-urile specifice hardware-ului care reduc energia necesară unui model fără a degrada rezultatul. Mai puțină electricitate înseamnă costuri de operare mai mici și o amprentă mai redusă.

Inferență eficientă din punct de vedere energetic

Cercetare privind aritmetica în virgulă fixă, randomizarea cu seed și execuția independentă de platformă, astfel încât un model să ofere același răspuns pe fiecare mașină. Aceasta susține reproductibilitatea de care aveți nevoie pentru un audit.

Aceeași intrare, același rezultat, de fiecare dată.

Publicăm rezultate intermediare, experimente eșuate și ipoteze revizuite. Cercetarea ca proces de inginerie deschis.

Jacquard rămâne o direcție de cercetare privată. Orice transfer către Fabric, Nexus sau Aura necesită validare separată.

Replay-ul Jacquard este o proprietate de cercetare, replay-ul Mycelia este o condiție de test, iar Forge verifică obligații limitate într-un program experimental.

Fiecare flux are un statut al dovezilor și o limită în jurul afirmațiilor curente.

Statut al dovezilor, nu o afirmație de produs

replay pas cu pas (proprietate de cercetare)

domenii de model: percepție, chimie, evoluție

Un model de lume digitală cu reguli locale explicite și costuri energetice. Raportul susține replay-ul determinist ca proprietate testabilă; afirmațiile mai largi despre comportament rămân lucrări de validare viitoare.

Cercetare parteneră, fără lansare publică

Forge explorează implementări candidate de kernel prin sinteză de programe. Designul său folosește măsurare bazată pe Cranelift și verificări SMT pentru obligații limitate; raportul din 2025 nu stabilește pregătirea pentru producție sau performanța de referință.

Depozit de cod sursă privat, acces la cerere

Un motor de lume bazat pe browser pe care agenții îl pot construi printr-o suprafață MCP tipizată. Pas de timp fix, aleatoriu cu seed și replay dintr-un seed și un jurnal de intrare sunt proprietăți de cercetare de evaluat. Depozitul de cod sursă este privat.

Programele noastre de cercetare transformă întrebările dificile despre sisteme în aparate inspectabile: lumi deterministe, pipeline-uri de sinteză și laboratoare de viață artificială. Rezultatul nu este doar o demonstrație, ci o rută pe care un alt inginer o poate reproduce și contesta.

Jacquard studiază semantica lumilor deterministe, Forge studiază sinteza de programe, iar Mycelia studiază viața artificială. Fiecare program are propriul aparat, tip de rezultat și graniță de eșec.

Deschide povestea implementării din spatele fiecărui program

Fiecare program își deține starea și dovezile

Un motor de lume tipizat cu execuție la pași ficși, tranziții explicite și trace-uri de agenți reluabile.

Un pipeline de sinteză care caută programe candidate, le coboară prin Cranelift, le măsoară și verifică obligații de corectitudine mărginite.

Un laborator determinist de viață artificială pentru reguli locale, presiunea resurselor, linii de descendență și structură emergentă. Rulările sale rămân dovezi de cercetare, nu o concluzie științifică în sine.

Un program începe cu o afirmație observabilă, variabile controlate, perturbații și o condiție de oprire. Specificația determină starea pe care o reținem și contraexemplul care poate redeschide rezultatul.

Contractul experimentului precede implementarea

Starea nespecificată nu poate susține o afirmație reproductibilă

Mecanismul își păstrează invariantul pe parcursul perturbațiilor controlate

Invariantul, familia de perturbații și granița de observare sunt angajate înainte de rulare.

Entități tipizate, tranziții, ceasuri și semințe.

Cazurile variază independent față de un punct de referință fix.

Invariantii și pragurile de eșec rulează ca verificări.

Fără inferențe în afara spațiului de stări versionat

Întrebarea, aparatul, rularea, provocarea și transferul sunt conectate prin intrări și ieșiri versionate. Selectează o poartă pentru a inspecta contractul la acea graniță.

Fiecare muchie poate fi reluată sau respinsă

Definește invariantul, suprafața de observare, starea controlată, familia de perturbații și regula de oprire.

Implementează aparatul determinist minim cu ceasuri, semințe, scheme și limite de evenimente explicite.

Execută protocolul păstrând intrările, tranzițiile, sincronizările, ieșirile și identitatea mediului.