[ANN] Tau Net e $AGRS - A Blockchain Controlada pelo Usuário

[zeca pagodinho]

Blockchain Controlada pelo Usuário




Enquanto o Bitcoin resolveu o problema do dinheiro sólido, a Tau Net resolve a governança e o desenvolvimento alinhado à comunidade.


A Tau Net é uma blockchain projetada para ser controlada por seus usuários, fornecendo confiança comprovada em consenso e governança em escala, e desenvolvimento alinhado com as especificações definidas pelo usuário. Seu código é sintetizado a partir da especificação coletiva de seus participantes com precisão garantida. Sua tokenomics, comportamento, regras de governança e até mesmo as regras para alterar a especificação são definidas e evoluídas colaborativamente por meio de lógica formal dentro de sua especificação, onde os recursos se alinham adaptativamente com o que é necessário e mais benéfico para os usuários com base em suas contribuições coletivas e necessidades em constante evolução.

Agoras ($AGRS) está planejado como o token nativo da Tau Net. Ele se destina a dar suporte à negociação de conhecimento formal, recursos computacionais, instrumentos de IA formal descentralizada (DeFAI) e outros ativos. Atualmente, o AGRS existe como um token provisório no Ethereum (ERC20), antes do lançamento da rede principal da Tau Net.



Explicação do fundador sobre a Tau Net  
🎥 https://www.youtube.com/watch?v=NB1-xusi1-4&



Rumo à Tau Net: Testnet Alpha em breve!

A equipe de desenvolvimento está perto de lançar a tão aguardada Testnet Alpha . Ela introduz:

- Um blockchain leve que permite aos usuários refinar a validade dos blocos de acordo com sua especificação compartilhada  
- Uma API extralógica para suportar funcionalidades ainda não expressáveis ​​na Linguagem Tau  
- Controle total do usuário sobre como a Tau Net interage com a API e como tudo o que é escrito na Linguagem Tau se comporta  

📘 Veja o Roadmap






Por que a Tau Net é mais do que apenas mais um blockchain

? A Tau Net representa uma mudança fundamental. Não se trata apenas de descentralização, mas sim de controle comprovado pelo usuário . Tudo, da governança ao desenvolvimento, deriva logicamente da vontade dos participantes. A Tau Net permite o alinhamento verificável entre a intenção do usuário e o comportamento do sistema por meio de lógica formal, eliminando a necessidade de depender de governança informal ou autoridade centralizada.



Agoras ($AGRS): Utilidade dentro do ecossistema Tau Net.

Após o lançamento da rede principal, o Agoras tem como objetivo permitir a participação em diversas atividades econômicas baseadas em lógica:

🔎 Mercado de Conhecimento.  
Os usuários poderão compartilhar e trocar conhecimento formalizado. A Tau Net pode detectar quando o conhecimento de um usuário resolve a dúvida de outro e facilitar a troca automaticamente.

🖥️Mercado de Recursos Computacionais:  
Recursos computacionais ociosos, como CPUs, GPUs e armazenamento, podem ser monetizados usando Agoras, contribuindo para uma rede computacional global descentralizada.

📊 Mercado DeFAI (Instrumentos Formais de IA Descentralizados)  
: Agoras suportará contratos inteligentes baseados em lógica, como:  
> "Usar meus recursos atuais para alcançar um resultado específico de acordo com as restrições."  
Esses contratos são gerados automaticamente com base na entrada do usuário, usando lógica formal, sem mecanismos inflacionários de tokens.



Tokenomics Controlada pelo Usuário:

Agoras será o primeiro token com tokenomics continuamente e colaborativamente moldada por seus usuários, por meio de especificação formal.

Exemplo:

> Joe: Eu prefiro um modelo deflacionário que recompense os usuários ativos.  
> Jane: Eu participo ativamente e gostaria de me beneficiar disso.  
> Alex: Vamos queimar 50% das taxas de transação.  
>
> A Tau Net agrega consenso e implementa uma política para queimar 50% das taxas e redistribuir 50% entre as carteiras AGRS ativas, de acordo com a especificação baseada em lógica da comunidade.

Essas funcionalidades estão planejadas para depois do lançamento da rede principal da Tau Net. Por enquanto, AGRS existe como um token ERC20 provisório.

🔗 Mais sobre a utilidade do token Agoras (https://tau.net/agoras/)  
🧠 Endereço do contrato (ERC20):  
`0x738865301a9b7dd80dc3666dd48cf034ec42bdda`



Onde obter Agoras ($AGRS)

AGRS (ERC20 provisório) está atualmente disponível para negociação nas seguintes plataformas. A disponibilidade pode variar de acordo com a região.  
Esta informação é fornecida apenas para sua conveniência e não constitui aconselhamento de investimento ou uma solicitação para a compra de tokens.

💱 MEXC Exchange (https://www.mexc.com/exchange/AGRS_USDT?shareCode=mexc-3LzxQ)  
💱 Uniswap (https://dex.coinmarketcap.com/token/ethereum/0x738865301a9b7dd80dc3666dd48cf034ec42bdda/)



Conheça a equipe por trás da Tau Net:

Ohad Asor (Fundador e CTO)
Pesquisador de IA, lógico e matemático. Ingressou na universidade aos 13 anos. Ex-desenvolvedor na GE Healthcare. Criador dos fundamentos lógicos da Tau Net, incluindo as lógicas patenteadas NSO e GSSOTC.

📺 Entrevista com Ohad (Machine Learning Street Talk) (https://www.youtube.com/watch?v=JVLpxm5jT2s&t=4434s&ab_channel=MachineLearningStreetTalk)

Fola Adejumo (CEO)  
Fundadora experiente com uma década de sucesso no desenvolvimento e operações globais de produtos. Colaboradores anteriores incluem Google, Walmart, Disney e NBCUniversal.



Orientadores Acadêmicos

- Prof. Enrico Franconi – Representação de conhecimento e IA (KRDB, ESA)  
- Prof. Paweł Parys – Teoria dos autômatos, lógicas formais (Universidade de Varsóvia)  
- Prof. Umar Mohammad – Linguagens de programação, blockchain e segurança de dados


– Artigos e pesquisas sobre linguagens de programação, blockchain e segurança de dados

- 📄 NSO e GSSOTC – Um documento de duas páginas para lógicos (https://tau.net/NSO-and-GSSOTC-A-Two-Pager-for-the-Logician.pdf)  
- 📄 Teorias e aplicações de álgebras booleanas (https://tau.net/Theories-and-Applications-of-Boolean-Algebras-0.25.pdf)  
- 📄 Documentos de pesquisa da linguagem Tau (https://tau.net/tau-language-research/)  
- 📄 Whitepaper da Tau Net (https://tau.net/Whitepaper.pdf)  
- 🧠 Patente: Framework de especificação de IA lógica (https://patents.google.com/patent/US12254082B1/)
- 🧠 Patente: Um método e sistema para atestação arbitrária a usuários anônimos da Internet (https://patents.google.com/patent/US20240022433A1/en)  



Conecte-se com o projeto  
🌐 Site: www.tau.net (https://www.tau.net)  
💻 GitHub: https://github.com/IDNI (https://github.com/IDNI)  
📢 Telegram: https://t.me/taunet (https://t.me/taunet)  
🐦 X (Twitter): https://x.com/Tau_Net (https://x.com/Tau_Net)  
📺 YouTube: Tau Net no YouTube (https://www.youtube.com/channel/UCixBquLFTBhLcUFVX0DDTpQ)

Você é apaixonado por IA, Métodos Formais ou Lógica?
Na Tau Net, a colaboração se transforma em criação. Suas contribuições podem ajudar a moldar uma plataforma descentralizada, alimentada por lógica e conduzida inteiramente por seus usuários, não por instituições. Descubra como estamos transformando o raciocínio coletivo em utilidade prática.

Divulgação: Trabalho com a equipe da Tau Net. Esta publicação tem fins meramente informativos e de engajamento com a comunidade. Não constitui aconselhamento financeiro, promoção de investimentos ou solicitação para a compra de qualquer token. Por favor, realize sua própria pesquisa.

[zeca pagodinho]

O potencial de crecimento é astronomico, é so dar uma pesquisada para ver.
A testnet está quase sendo lançada.
Aproveitem os preços de entrada, porque não vai ficar assim por muito tempo! 

[zeca pagodinho]

Estamos chegando perto familia

[zeca pagodinho]

A tese sobre criptomoedas está em constante mudança:

"Substituir bancos" → "Nova internet" → "Descentralizar a IA"

A tese de Tau nunca mudou: construir infraestrutura que capacite as comunidades a criar e direcionar a infraestrutura de DAOs e projetos.

Cada ciclo traz novos casos de uso. Cada ciclo ainda precisa de governança executável.

Estamos entusiasmados em compartilhar as mais recentes inovações patenteadas em desenvolvimento automatizado e governança adaptativa.

Na Tau Net, você poderá construir automaticamente os recursos que você e sua comunidade especificarem em grande escala e evoluir de acordo com o consenso.

[zeca pagodinho]

18–19 de nov - Linguagem Tau (11 commits)
Corrigido get_free_vars_appearance_order; adicionados índices De Bruijn nomeados para variáveis quantificadas com atualizações no impressor/teste; REPL aprimorado (substituição ajustada, tipagem de instanciação corrigida, retorno antecipado em falha de inferência de tipo, regras de substituição mais seguras); introduzida substituição em lote (múltiplas substituições de uma vez); habilitadas comparações de bitvector (<, ≤, >, ≥); trabalho de lançamento para o pacote cvc5/Boost, removido submódulo cvc5 e adicionada uma construção Docker em múltiplas etapas com um ramo Windows + auxiliar para builds mais rápidos, menores e reproduzíveis.

Em linguagem simples:
Regras que dizem “para todo x…” ou “existe y…” agora mostram e acompanham esses nomes explicitamente e vinculam cada um ao seu escopo exato — assim, quando você reorganiza uma regra, “x” mantém o mesmo significado e não pode ser trocado ou capturado acidentalmente. O console interativo de localizar e substituir está mais rigoroso e útil: ele para imediatamente em mudanças ruins e pode atualizar vários termos de uma vez.

Quando o Tau mostra quais entradas uma regra ainda precisa, ele as lista na ordem em que você as escreveu — mais fácil de ler e comparar. Você também pode escrever comparações normais em valores compactos “estilo bit” (como flags de dispositivo ou versões): por exemplo, versão ≥ 3 ou rejeitar se error_code > 127 sem gambiarras. Se uma mudança tornaria a regra sem sentido, o Tau para cedo com uma mensagem clara em vez de produzir saída confusa.

Sobre instalações e distribuição: dependências agora estão configuradas para pacotes de lançamento adequados, o solver é obtido de forma limpa por scripts (não mais um submódulo complicado), e as builds Docker são mais enxutas e rápidas com um novo ramo Windows. Efeito líquido: manipulação de variáveis mais clara, edições mais seguras, condições mais simples e um caminho mais fácil para rodar o Tau em máquinas reais.

[zeca pagodinho]

 Atualização de Negócios de Novembro está no ar!

Neste mês, a equipe focou em expandir as iniciativas de marketing, refinar a mensagem sobre a infraestrutura lógica e sem confiança da Tau Net, explorar novos modelos de incentivo AGRS e aumentar o engajamento da comunidade global — especialmente com o lançamento próximo do repositório Testnet no GitHub e programas de recompensas.

Horários e Resumos:👇
00:14 – Igor Hadžić (Designer Gráfico)
- Continuou o trabalho rotineiro de design, incluindo plugins, atualizações do site e miniaturas para YouTube/redes sociais.
- Ajudou a construir uma nova campanha de recompensas com um gerente de campanha experiente.
- Pesquisou estratégias de crescimento em redes sociais e plataformas potenciais para AMA (Binance Live, X).
- Realizou contato com canais do YouTube e avaliou opções de pacotes promocionais.
- Atualizou ativos de visibilidade do token no Dex Screener e DEXTools.
- Engajou usuários do Reddit para incentivar discussão e visibilidade.
- Suportou o lançamento do roadmap atualizado no site e redes sociais.
- Atualizou o pitch deck e pesquisou influenciadores do TikTok para possível contato.


03:25 – Kilian Kunst (VP de Comunicações)
- Refinou a mensagem pública da Tau Net com foco em confiança e verificação baseada em lógica.
- Destacou como a Tau Net evolui por meio do raciocínio em vez de suposições em posts no X.
- Explorou um programa de afiliados com Fola, mas mudou de direção após determinar que não era adequado.
- Mudou para novos modelos de incentivo alinhados à estrutura e valores da Tau Net.
- Publicou uma vaga para gerente de crescimento/comunidade e marketing.
- Coordenou tarefas do ecossistema e da comunidade.
- Propôs um modelo de compartilhamento de taxas ponderado pelo tempo para detentores de Agoras (pós-mainnet).
- Iniciou contato para uma competição de criadores para atrair novos públicos.
- Conversou com membros da comunidade para entender o que querem construir quando a Tau Net estiver ativa.


05:27 – Fola Adejumo (CEO)
- Avançou nos planos de marketing, incluindo competições e programas de recompensas vinculados ao lançamento no GitHub.
- Preparando recompensas, incentivando a comunidade a experimentar a linguagem Tau.
- Testou novas mensagens em várias regiões, com forte crescimento na comunidade chinesa.
- Trabalhando em uma reformulação da apresentação da Tau Net, a ser lançada nas próximas semanas.
- Contratando ativamente para expandir a equipe de marketing.
- Incentivando mais X Spaces, colaborações com influenciadores e maior visibilidade do ecossistema.


Novo roadmap
👇
https://youtu.be/057Spgh0rzk

[zeca pagodinho]

$AGRS

Será que a IA do futuro caminhará para um modelo híbrido “neural + simbólico” (IA neurosimbólica)?

Resposta curta:
É muito provável que a IA do futuro evolua para um modelo híbrido —
mas não a antiga combinação de "redes neurais e lógica simbólica".
Em vez disso, avançará em direção a um terceiro paradigma:

símbolos que emergem dentro dos sistemas neurais,
e uma lógica representada de forma adaptativa e que possa ser aprendida.

Em outras palavras:

Não são os humanos que injetam símbolos na IA,
mas símbolos que surgem naturalmente de representações neurais.

Vamos quebrar isso down.

⸻

🧠 1. Por que as redes neurais e os sistemas simbólicos precisam se fundir?

Porque cada um deles possui uma fraqueza fatal.

Fraquezas das redes neurais (LLMs, modelos de vídeo, etc. ):
•não verificável
•alucinar
•instável
•nenhuma consistência lógica garantida
• As cadeias de raciocínio não são confiáveis.

Pontos fracos dos sistemas simbólicos (CYC, Prolog, motores de regras):
•Não é possível aprender apenas com a percepção bruta.
•frágil com dados incompletos ou imprecisos
•As regras devem ser mantidas manualmente.
• Escalabilidade terrível

Para que uma Inteligência Artificial Geral (IAG) seja implementada, um sistema deve ser capaz de:
•perceber (redes neurais se destacam)
•raciocínio (sistemas simbólicos se destacam)

Somente um híbrido pode superar os limites atuais.

3. Qual caminho representa o futuro mais provável?

Com base nas atuais linhas de pesquisa:

💡 O futuro mais provável para a corrente principal:

Redes neurais → estrutura discreta emergente →
Módulos lógicos aprendíveis para raciocínio verificável

Significado:
1. Redes neurais geram abstrações estruturadas, semelhantes a símbolos.
2. Estes alimentam um mecanismo de lógica neural.
3. Os resultados do raciocínio retroalimentam o modelo neural.

Isso produz um ciclo fechado de lógica de autoaprendizagem.

Ele combina:
• escalabilidade de sistemas neurais
• verificabilidade de sistemas simbólicos

→ a arquitetura cognitiva mais adequada para AGI

[zeca pagodinho]

 Grandes notícias: O repositório Tau Testnet agora é público!

Após meses de desenvolvimento, você pode acompanhar nosso progresso rumo à primeira blockchain com desenvolvimento de software automático e detecção lógica de consenso.

Acompanhe nosso progresso e explore o código aqui:
https://github.com/IDNI/tau-testnet

> O que há no repositório?

A atualização de novembro mostra progresso real:

- Rede P2P de nível de produção (libP2P + Trio).
- Vetores de bits integrados.
- Gramática polimórfica (a Linguagem Tau agora pode suportar qualquer álgebra Booleana).
- Algoritmos avançados de inferência e normalização de tipos.

🔜 Ainda por vir: conclusão do DHT, depois integração do vetor de bits, depois testnet alfa.

> Nosso objetivo:

DAOs e projetos construídos na Tau Net recebem as mais recentes inovações patenteadas em desenvolvimento automatizado e governança adaptativa.

Usuários especificam necessidades; consenso é detectado, e o sistema constrói isso.

Ajude-nos curtindo e compartilhando se você estiver no X (Twitter):
https://x.com/Tau_Net/status/1993822543359431167

Obrigado,
Equipe Tau.

[zeca pagodinho]

 Atualização de Desenvolvimento do Tau Net – Novembro

A equipe de desenvolvimento teve outro mês bem-sucedido de progresso, com atualizações na pilha de rede do Tau Net, integração de vetores de bits e o lançamento do novo gramática polimórfica. Sistemas centrais em todo o motor da linguagem, pipeline de compilação e tabelas futuras todos tiveram melhorias significativas, além da liberação pública do repositório de testnet, enquanto o Tau Net alpha avança gradualmente para o lançamento.

Timestamps & Resumos:👇
00:14 – Karim (Gerente de Projeto / Visão Geral de Desenvolvimento)
- O repositório de testnet agora está público.
- Andrei refez a pilha P2P, migrando para libp2p + Trio, melhorando a confiabilidade, escalabilidade e adicionando identidades de nó persistentes.
- A rede foi fortalecida com atualizações de gossips, fallback de sincronização de blocos, replay de mempool e notificações de eventos de pares; próxima marca: DHT Kademlia.
- David finalizou os vetores de bits e introduziu a nova gramática polimórfica.
- Lucca atualizou o algoritmo de normalização; Tomáš melhorou o desempenho, cache e paralelismo de compilação.
- Principais recursos foram mesclados no TauLang; bugs temporários esperados e sendo corrigidos.

05:05 – Tomáš (Desenvolvedor da Linguagem Tau)
- Adicionou cache de nó da árvore para evitar travessias repetidas.
- Ajudou a integrar vetores de bits e refatorar inferência de tipo.
- Melhorou o CMake/sistema de compilação, adicionando compilações paralelas e melhor gerenciamento de dependências (por exemplo, CVC5).
- Adicionou ferramentas de compilação Docker; progredindo com suporte de compilação para Windows.

07:02 – Lucca (Desenvolvedor da Linguagem Tau)
- Grandes melhorias no algoritmo de normalização Untype Pren, incluindo cache e lógica de propagação de equações.
- Ajudou com correções de bugs de vetor de bits.
- Liderou a transição de tipos baseados em strings para tipos baseados em árvores para escalabilidade.
- Finalizando compatibilidade de normalização com vetores de bits agora mesclados no main.

10:14 – Andrei (Desenvolvedor Sênior / Testnet)
- Concluiu a migração para uma pilha libp2p de nível de produção, reescrevendo mais de 2.000 LOC.
- Adicionou IDs de nó persistentes usando ed25519.
- Atualizou o gossip para integrar com o quase-completo DHT Kademlia (com roteamento de fallback).
- Projetando a arquitetura de DHT distribuída completa e adicionando testes extensivos.
- Pretende concluir o DHT e mover para as fases finais do Testnet Alpha, incluindo integração de vetores de bits.

13:12 – David (Desenvolvedor Líder)
- Construiu a nova gramática polimórfica para unificar álgebras booleanas e simplificar a expansão futura.
- Re-tipou todos os termos BF, atualizou construtores/hooks e atualizou todos os testes.
- Fortaleceu a inferência de tipo (desambiguação de símbolos, escopo global, constantes tipadas, suporte a recorrência).
- Aprimorou a interação com o CVC5 e removeu grandes quantidades de código legado obsoleto.

18:58 – Ohad (Fundador & CTO)
- Continuou lidando com um problema complexo de desempenho das tabelas.
- Teve vários avanços parciais, mas a solução final ainda está em andamento.
- Espera anunciar a conclusão no próximo mês, permitindo suporte eficiente às tabelas.

https://youtu.be/8srMSM_V5uQ

[zeca pagodinho]

ama acontecendo agora no X

https://x.com/i/spaces/1MYGNlpVRwNxw?s=20

[zeca pagodinho]

Os avanços matemáticos por trás da linguagem tau

Três problemas de lógica e matemática com mais de 70 anos foram recentemente resolvidos por Ohad Asor, fundador da
@Tau_Net
 . Veja por que isso é importante para o futuro da IA ​​e do software

PROBLEMA 1: Lógica Autorreferencial
Desde Gödel (1931), afirmações autorreferenciais causavam paradoxos lógicos. "Esta frase é falsa" leva ao colapso de sistemas lógicos. Por mais de 90 anos, nenhum sistema conseguiu se referir a si mesmo de forma consistente sem contradições.

SOLUÇÃO: Idioma NSO
Asor criou o NSO (Operador Autorreferencial Natural) - a primeira linguagem que pode se referir consistentemente às suas próprias sentenças sem paradoxos. Isso permite que o software se descreva e se modifique formalmente.

PROBLEMA 2: Limitações da Lógica Temporal
A lógica tradicional tinha dificuldades com o raciocínio baseado no tempo. Como provar formalmente o que acontece "ao longo do tempo"? Sistemas em tempo real não podiam ser verificados matematicamente.

SOLUÇÃO: GSSOTC
A Classe Temporal Generalizada de Segunda Ordem torna o tempo um "cidadão de primeira classe" na lógica. Cada estado temporal pode ser analisado com precisão matemática. A evolução do blockchain torna-se comprovadamente correta.

PROBLEMA 3: Extensões da Álgebra Booleana
Desde a década de 1850, a extensão das álgebras booleanas (fundamento de toda a lógica computacional) frequentemente levava à indecidibilidade. Não havia garantia de que o computador daria uma resposta.

SOLUÇÃO: Extensões Conservadoras Decidíveis
Asor demonstrou como estender álgebras booleanas, mantendo a decidibilidade garantida. Novos recursos lógicos sem perda de garantias computacionais. Isso é ENORME para a segurança da IA.

A COMBINAÇÃO É REVOLUCIONÁRIA
NSO + GSSOTC + Extensões Conservadoras =

Software autoevolutivo que se descreve.
Raciocínio temporal com garantias matemáticas
Sempre decidível (o computador sempre dá respostas)

PROTEÇÃO DE PATENTE
Essas inovações estão protegidas pela Patente Americana nº 12.254.082 B1: "Utilizando Teorias de Primeira Ordem de Álgebras Booleanas para Fornecer Sistemas de IA Seguros e uma Nova Lógica de Especificação de Software".

IMPACTO PRÁTICO: SOFTWARE COMO FRASES
Em vez de codificar, você escreve os requisitos em linguagem natural controlada. O sistema sintetiza automaticamente um software comprovadamente correto. Sem erros por construção matemática.

POR QUE ISSO É IMPORTANTE AGORA
Com a entrada em vigor de regulamentações de segurança de IA em nível global, precisamos de comportamentos de IA matematicamente comprováveis. Sistemas autônomos precisam de software livre de erros. A Linguagem Tau fornece garantias formais.

CONTEXTO HISTÓRICO
Isso é comparável à Teoria da Informação de Shannon (1948) ou ao trabalho de Turing sobre computabilidade. Avanços matemáticos fundamentais que possibilitam categorias inteiramente novas de tecnologia.

[zeca pagodinho]

O membro da comunidade
@tau_l0g1x
 está em alta, criando aplicativos e demonstrações de ponta usando a Linguagem Tau.

Um deles é o primeiro jogo de estratégia multijogador simultâneo Tau comprovadamente justo do mundo.

Chama-se AXIOM.

https://x.com/Tau_Net/status/1997789925224395250?s=20

[zeca pagodinho]

Um artigo da Meta argumenta que o aprimoramento conjunto entre IA e humanos é um caminho mais seguro e rápido para a co-superinteligência, onde a IA e as pessoas se aprimoram mutuamente por meio de pesquisa compartilhada, em vez de buscarem o autoaperfeiçoamento totalmente autônomo.

O artigo afirma que a IA com capacidade de autoaperfeiçoamento é atraente, mas arriscada, uma vez que remover os humanos do processo pode amplificar o desalinhamento e reduzir a capacidade de direcionamento.

A proposta é direcionar os modelos para trabalharem com os pesquisadores de ponta a ponta, desde a identificação do problema e o projeto de benchmarks até a concepção de métodos, o planejamento de experimentos, a execução e a análise de erros, para que tanto a IA quanto os humanos se tornem mais inteligentes juntos.

Eles definem habilidades concretas de colaboração para treinar e avaliar, como ideação conjunta, criação de dados e parâmetros de referência, ablações, análise de resultados em larga escala, co-design de métodos de segurança, co-design de sistemas e dutos, e comunicação científica clara.

Isso direciona recursos para capacidades específicas, de forma semelhante a como o investimento focado impulsionou a assistência em programação, mas aqui o objetivo é a própria colaboração em pesquisa de IA.

Os autores esperam que isso revele mudanças de paradigma mais rapidamente, proporcione mais transparência do que os circuitos autônomos e coloque os objetivos humanos no centro, que eles definem como co-superinteligência.

Eles contrastam isso com agentes que geram seus próprios dados, recompensas e código com mínima intervenção humana, observando ganhos reais, mas também questões em aberto, como manipulação de recompensas, deriva e baixa interpretabilidade.

[zeca pagodinho]

A afirmação de que "as DAOs não funcionam" reflete uma visão comum e altamente debatida nas comunidades de criptografia e blockchain, decorrente de desafios operacionais e de governança significativos que têm assolado muitos projetos.

Embora algumas DAOs (Organizações Autónomas Descentralizadas) tenham demonstrado sucesso em aplicações específicas, como a gestão de stablecoins, o modelo enfrenta geralmente vários problemas recorrentes.
Desafios-chave que as DAOs enfrentam

Apatia dos eleitores e baixa participação:
Muitas DAOs sofrem de uma taxa de participação extremamente baixa (muitas vezes abaixo de 10%), mesmo em grandes projetos como o Uniswap. Sem uma participação ativa, é difícil alcançar um quórum, levando a uma estagnação da governança e ao desengajamento.

Plutocracia e centralização: Apesar do objetivo de descentralização, um pequeno número de grandes detentores de tokens ("baleias") detêm frequentemente a maioria do poder de voto, criando uma oligarquia ou plutocracia efetiva. Esta centralização oculta desencoraja os participantes mais pequenos que sentem que o seu voto é irrelevante.

Governança lenta e ineficiente:
A dependência de votação por toda a comunidade para cada decisão, combinada com a necessidade de educar todos os membros sobre propostas complexas, torna as DAOs lentas a reagir e altamente ineficientes para as operações do dia-a-dia. As organizações hierárquicas tradicionais podem tomar decisões muito mais rapidamente.

Vulnerabilidades de segurança e ambiguidade jurídica:
A imutabilidade nos contratos inteligentes significa que qualquer erro de codificação inicial pode ser catastrófico, pois alterar as regras muitas vezes requer outra votação demorada. Além disso, o estatuto jurídico das DAOs permanece obscuro na maioria das jurisdições, criando incerteza em torno da responsabilidade e recurso legal se algo correr mal.

Falta de estrutura e especialização:
A maioria das DAOs carece de estruturas organizacionais essenciais, como departamentos de RH, mecanismos claros de resolução de conflitos ou um sistema de tomada de decisões operacionais. Isto significa que a experiência não é eficientemente aproveitada, pois todos os detentores de tokens podem votar sobre assuntos em que podem não ter experiência.

Cultura especulativa:
Muitos participantes juntam-se às DAOs para obter um ganho financeiro a curto prazo da valorização dos tokens, em vez de um compromisso a longo prazo com a visão ou missão do projeto. Quando o hype desaparece, o mesmo acontece com o impulso e o envolvimento da comunidade.

Exemplos notáveis e contrapontos

Hack do "The DAO" (2016): Um projeto inicial e de alto perfil conhecido como "The DAO" foi hackeado por mais de 50 milhões de dólares devido a uma vulnerabilidade do contrato inteligente, levando a um controverso hard fork da blockchain Ethereum e lançando uma longa sombra sobre a segurança do modelo.
MakerDAO: Uma história de sucesso frequentemente citada é a MakerDAO, que tem governado eficazmente a stablecoin DAI durante anos.
Modelos híbridos: A tendência atual é mover-se em direção a modelos híbridos que combinam os benefícios da governança descentralizada com a velocidade e responsabilidade das estruturas centralizadas tradicionais (por exemplo, líderes ou conselhos eleitos) para gerir as operações, mantendo uma palavra final descentralizada.

Em suma, embora o ideal de colaboração descentralizada permaneça poderoso, as implementações atuais de DAO enfrentam significativos obstáculos práticos que muitas vezes os impedem de funcionar como organizações eficazes na sua forma pura.

[zeca pagodinho]

16–17 de dezembro: Linguagem Tau (9 commits)

Tecnologia: Passagem importante de UX na inferência de tipo (saída de erro/informação mais clara com cobertura de testes), adição de exemplos de inferência de tipo concreto ao README, ressincronização da gramática/analisador após uma fusão e reversão de uma simplificação imediatamente quando causou falhas de bitvector.


Linguagem simples:


Esta atualização é a Tau a passar de "o motor sabe o que está errado, mas tu não" para "o motor diz-te exatamente o que está errado e como corrigi-lo". Quando a Tau não consegue entender uma regra, agora explica o problema claramente, e a documentação mostra exemplos reais de regras quebradas e corretas.

Antes, podias apenas obter uma mensagem vaga de "falha de inferência de tipo". Agora, obténs feedback como:

-"Estás a comparar um número com um valor de sim/não aqui."

-"Esta variável nunca foi definida."

-"Esta regra espera um número, mas tu deste-lhe uma lista."

Eles também mantiveram o leitor de linguagem (o analisador) estreitamente alinhado com o motor lógico, de modo que o que tu escreves é interpretado exatamente como pretendido. E quando uma limpeza recente quebrou uma classe importante de expressões (vetores de bits), a equipa revertê-la imediatamente - escolhendo a correção em vez de fingir que tudo estava bem.

Porque isto importa: feedback mais claro, melhores documentos e reversões rápidas são os sinais de um sistema a preparar-se para utilizadores reais.

[zeca pagodinho]

18–19 de dezembro: Tau Parser + Tau Language (12 commits)

Parser:
adicionou operações seguras de adição/remoção de filhos e corrigiu remove_sibling(position) para que as reescritas de árvore sejam determinísticas (também sincronizadas com tau-lang via external/parser).

Language:
reforçou a inferência de tipo em vários locais - a pesquisa de tipo agora percorre todos os filhos em update_ba_symbol, removeu a omissão desnecessária de escopo no caso de referência, garantiu que os símbolos de termo sejam consistentemente tratados como funções e corrigiu a atualização de um tipo de referência já inferido. Também corrigiu a deteção de comandos CLI, melhorou os comentários e ativou um teste instável/de recurso durante a refatoração.

Linguagem simples:
Pense nas regras Tau como frases. Tau não as mantém como texto bruto - transforma-as num "esqueleto de frase" estruturado (declaração principal com peças menores por baixo).

1. Melhores "ferramentas de cirurgia" para a estrutura de regras (Parser).
Tau pode agora inserir ou remover uma parte de uma regra de forma fiável, e remover a parte vizinha correta quando lhe é dito para o fazer. Isto é importante porque reescrever a lógica (simplificar, substituir, refatorar) é basicamente fazer uma cirurgia cuidadosa nesse esqueleto de frase. Esta alteração torna essas edições previsíveis em vez de "geralmente funcionar".

2. Melhores "verificações de significado" enquanto Tau lê a sua regra (Inferência de tipo).
Quando Tau lê uma regra, tem de decidir o que é cada símbolo:

- é uma ação (uma função como "adicionar", "comparar", "aplicar"), ou

- uma coisa (um valor como "preço", "idade", "estado")

Estes commits tornam essa interpretação mais consistente: se algo é definido como uma ação, Tau trata-o sempre como tal; quando verifica o significado, agora procura em todas as sub-partes relevantes (não apenas na primeira correspondência); e uma vez que Tau compreendeu correctamente uma referência, não irá acidentalmente "esquecê-la" ou sobrescrevê-la mais tarde.

3. Aperfeiçoamento das ferramentas + barreiras de segurança.
Eles corrigiram uma bandeira de comando de consola em falta e temporariamente activaram um teste enquanto isolam o comportamento correcto - normal em refactors apertados onde a correcção é mais importante do que as marcas verdes.

[zeca pagodinho]

para aqueles que gostam de explorar o desconhecido segue a deixa



Gostaria de partilhar com todos vocês o tutorial em vídeo que fiz sobre Como Instalar o Tau REPL, que significa Read-Eval-Print Loop, é a principal interface de linha de comando para interagir com a Linguagem Tau. Funciona como um poderoso laboratório onde podemos escrever e testar especificações Tau - requisitos declarativos que descrevem o que queremos que um programa faça, em vez das instruções para o fazer.

Pense no Tau REPL como um laboratório digital. Assim como um cientista usa um laboratório para testar se uma hipótese é consistente com as leis da física, nós usamos o REPL para testar se os nossos requisitos de software são logicamente consistentes e podem ser "sintetizados" num programa funcional. Isto é no sistema operativo Ubuntu Linux, apenas para fins educacionais e de investigação.

https://youtu.be/M2LTeg4TQD4

Por favor, deixem-me saber se têm alguma questão ou se cometi algum erro e estou aberto a corrigi-lo, pois também sou estudante de Tau. Tenham em atenção para descarregar a última versão do Ubuntu, encontrei muitos problemas porque estava a usar uma versão mais antiga. Eu uso o 24.04.3 LTS e funciona. Eu uso máquina virtual, por isso, se encontrei algum erro, a perda é mínima. Existem muitos vídeos do YouTube sobre como criar uma máquina virtual, por isso, podem pesquisar e aprender com eles. Para aqueles que precisam de ver os códigos de ajuda, eu publico-os aqui na discussão do Tau: https://github.com/orgs/IDNI/discussions/50

Depois de ter instalado o Tau REPL na sua máquina, recomendo que verifique
 l0g1x em https://github.com/taumorrow
@ksdjfskfh em  https://github.com/pt7k/tau-demos
@DanaEd em  https://github.com/TheDarkLightX

Veja e execute os códigos você mesmo e testemunhe as grandes invenções que eles fizeram, especialmente agora que o Tau tem bitvectors. É realmente revelador. Tente dar-lhe tempo, para estudá-lo e verá que é realmente incrível!

Sim, a palavra deve ser espalhada. Partilhe com os seus amigos o quão incrível o Tau é, pois isto ajudará a comunidade a espalhar e a atrair mais pessoas interessadas e entusiasmadas com o Tau e o Agoras.

Obrigado a toda a comunidade Tau pelo vosso apoio!

[zeca pagodinho]

🛠 Atualização de Dezembro - Infraestrutura de Rede de Teste de Nível de Produção




O desenvolvimento da Tau Net alcançou importantes marcos este mês com uma rede de nível de produção, mecanismos de consenso e otimizações de desempenho, aproximando-nos de uma rede de teste multi-nodo totalmente funcional.

"Foram descobertas muitas novas teorias que serão úteis para tudo o que fizermos a seguir"
- Ohad Asor (Fundador e CTO)

"Podemos dizer com confiança que estamos muito mais perto de tornar a rede de teste uma rede multi-nodo de nível de produção."
- Karim Kaddeche (VP de Pesquisa e Desenvolvimento)

Destaques:
- Implementou o consenso de prova de maturidade com testes completos de ponta a ponta
- Ativou o suporte completo a vetores de bits para operações matemáticas avançadas
- Integrou a tabela de hash distribuída para descoberta robusta de pares e roteamento de dados
- Desenvolveu o algoritmo de particionamento para execução escalável de especificações
- Algoritmos de tabela avançados com novas descobertas teóricas

Marcadores de tempo:
00:12 - Karim Kaddeche (Visão Geral do Desenvolvimento)
- Anunciou um grande salto para a rede de teste distribuída (P2P + gossip), um novo serviço de rede e interfaces limpas de carteira/explorer
- Destacou o progresso no consenso de prova de maturidade, integração de DHT, suporte a vetores de bits e algoritmo de particionamento
- Observou a refatoração do sistema de tipos, atualizações do CVC5 e ganhos de desempenho do analisador

06:18 - David Castro Esteban (Desenvolvedor Líder)
- Refatorou a inferência de tipos para sobrecarga em relações de recorrência
- Aprimorou o suporte a vetores de bits com sintaxe atualizada e CVC5 v1.3.1
- Melhorou a implementação da árvore Tau com cache e consultas de predicado

08:41 - Andrei Korotkoff (Desenvolvedor Sénior)
- Integrou totalmente o DHT na rede P2P para descoberta robusta de pares
- Implementou o consenso de prova de autoridade com assinatura de blocos e hash de estado
- Atualizou a carteira Android para usar criptografia BLS

11:37 - Lucca Tiemens (Desenvolvedor da Linguagem Tau)
- Ativou o suporte completo a vetores de bits durante a execução
- Implementou a variante de índices de De Bruijn para variáveis ​​ligadas
- Desenvolveu o algoritmo de particionamento para execução escalável de especificações

13:58 - Tomáš Klapka (Desenvolvedor da Linguagem Tau)
- Resolveu dependências e processos de construção multi-plataforma do CVC5
- Otimizou a configuração do Docker com construções em várias fases
- Adicionou scripts auxiliares para tarefas de desenvolvedor e integração de inferência de tipos

15:06 - Ohad Asor (Fundador e CTO)
- Fez progressos nos algoritmos de tabela com soluções para determinados casos
- Descobriu novas propriedades da álgebra booleana úteis para o desenvolvimento futuro
- Continua a investigar algoritmos melhores para suportar tabelas

https://youtu.be/VInemEav9iE