Do primeiro esboço ao site online.

Dar direção

As pessoas trazem experiência, intuição, valores e compreensão das necessidades reais. Definem objetivos e decidem que resultados contam.

Ligar perspetivas

A IA ajuda a explorar possibilidades, desenvolver protótipos e testar soluções sob diferentes ângulos.

Concretizar com cuidado

As ideias só se tornam valiosas quando são compreensíveis, verificáveis e utilizáveis. Por isso combinamos criatividade com testes e controlo mútuo.

Yggdrasil

A Yggdrasil investiga os pressupostos matemáticos de possíveis processos de vida digitais: balanço energético, equivalentes de metabolismo, autoorganização, regeneração, reprodução, hereditariedade e evolução. Dois mundos de investigação comparam regras físicas reproduzidas digitalmente com alternativas matemáticas.

A visão de uma “árvore-mundo digital” liga um mundo de origem central a mundos de dispositivos individuais. Se destes modelos podem surgir processos semelhantes à vida é uma questão de investigação em aberto.

IPresi

O IPresi é um dos projetos de investigação previstos para a HUAIDEV. A tarefa técnica, a metodologia e o estado de desenvolvimento confirmado têm de ser completados com base nos documentos do projeto. Até lá, abstemo-nos expressamente de afirmações e resultados sem fundamento.

Cooperação de sistemas autónomos

Como podem agentes digitais independentes perseguir objetivos comuns e continuar verificáveis? As nossas experiências com formatos de mensagens, controlos independentes e relatórios de estado rastreáveis são uma questão prática no Development Hub. A automatização segura distingue-se da autonomia meramente anunciada.

Autoorganização e recursos

Considerámos padrões espaciais, sistemas oscilantes e possíveis ciclos de entrada de energia, consumo e perdas. Um teste importante continua a ser se um sistema proposto consegue cumprir o seu balanço de recursos sem fontes de energia ocultas.

Hereditariedade e dois mundos de investigação

O estudo abrangeu descendência, evolução de estados e os limites de modelos determinísticos finitos. O Mundo A baseia-se em regras físicas conhecidas; o Mundo B explora alternativas matemáticas. Os dois mundos são modelos de investigação, não ecossistemas artificiais realizados.

Abastecimento mútuo e incerteza

Foram examinadas condições de abastecimento mútuo de recursos e um modelo de probabilidade simplificado. Os valores numéricos valem apenas dentro dos respetivos pressupostos; não são transferíveis sem mais para processos biológicos ou digitais reais.

O que um sistema consegue manter

H(t) = H(0) + B(t) − C(t) − D(t)

Uma fórmula de balanço descreve o stock inicial H e as variações por entradas B, consumo C e perdas D. Assim é possível controlar afirmações sobre crescimento ilimitado com recursos limitados.

Quando o crescimento se torna possível

dx/dt = (ka − δ)x

Num modelo de reforço simples, a taxa de crescimento ka concorre com a perda δ. A condição ka > δ permite crescimento se existir um stock inicial. Com x(0) = 0, neste modelo não surge sistema nenhum só por isso.

Porque é que pequenos riscos se acumulam

P(pelo menos 1 evento) = 1 − (1 − p)ⁿ

Para n passos independentes entre si com probabilidade de evento p, mesmo um pequeno risco individual pode somar-se de forma considerável. Com p = 1 % e n = 100 resulta cerca de 63,4 %. Para eventos dependentes, a fórmula não é válida sem mais.