Tópicos em alta
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

nader dabit
🇵🇸 Devrel + DX @eigencloud @eigen_da @eigen_labs // AI & Onchain // @aave @awscloud @celestia anterior // 🫂 @developer_dao
Ouvido ontem em Buenos Aires @jacobc_eth @CoinFello
"o trabalho que está sendo feito com a EigenAI sobre determinismo é um dos mais importantes que estão sendo feitos no espaço atualmente"
É empolgante quando novas aplicações são possibilitadas por novas primitivas e ver os fundadores aproveitando essas oportunidades.

10,67K
Outro grande insight de @karpathy, apontando a importância da verificabilidade da IA
"Acho que a analogia mais forte é a da IA como um novo paradigma computacional (Software 2.0)
... O Software 1.0 automatiza facilmente o que você pode especificar. O Software 2.0 automatiza facilmente o que você pode verificar.
... Nesse novo paradigma de programação, a nova característica mais preditiva a ser observada é a verificabilidade.
Se uma tarefa/tarefa é verificável, então ela é otimizável diretamente ou por meio de aprendizado por reforço, e uma rede neural pode ser treinada para funcionar extremamente bem."
A verificabilidade nesse enquadramento gira mais em torno do contexto de treinamento/otimização – a avaliação de se a saída de uma IA está correta + possibilitando uma melhor automação por causa disso.
Verificabilidade em IA + cripto é mais focada no contexto da execução.
- Podemos verificar se a entrada, modelo e saída estão corretos e não foram adulterados (inferência verificável)
- Alguém no mundo pode reexecutar essa inferência e obter o mesmo resultado hoje, amanhã e daqui a 1 ano (inferência determinística)
- Podemos verificar o código exato executando esse agente (runtime verificável)
- Podemos verificar se apenas o agente tem acesso e a capacidade de transacionar a partir de sua carteira (runtime verificável)
- Podemos verificar a reputação deste agente (ERC-8004)

Andrej Karpathy17 de nov., 01:56
Compartilhando uma conversa recente interessante sobre o impacto da IA na economia.
A IA tem sido comparada a vários precedentes históricos: eletricidade, revolução industrial, etc., acho que a analogia mais forte é a da IA como um novo paradigma de computação (Software 2.0) porque ambos são fundamentalmente sobre a automação do processamento digital de informações.
Se você fosse prever o impacto da computação no mercado de trabalho na década de ~ 1980, a característica mais preditiva de uma tarefa / trabalho que você observaria é até que ponto o algoritmo é fixo, ou seja, você está apenas transformando mecanicamente as informações de acordo com regras mecânicas e fáceis de especificar (por exemplo, digitação, contabilidade, calculadoras humanas, etc.)? Naquela época, essa era a classe de programas que a capacidade de computação daquela época nos permitia escrever (à mão, manualmente).
Com a IA agora, somos capazes de escrever novos programas que nunca poderíamos esperar escrever à mão antes. Fazemos isso especificando objetivos (por exemplo, precisão de classificação, funções de recompensa) e pesquisamos o espaço do programa por meio de gradiente descendente para encontrar redes neurais que funcionem bem contra esse objetivo. Este é o meu software 2.0 post no blog de um tempo atrás. Nesse novo paradigma de programação, então, o novo recurso mais preditivo a ser observado é a verificabilidade. Se uma tarefa/trabalho for verificável, ela será otimizável diretamente ou por meio de aprendizado por reforço, e uma rede neural pode ser treinada para funcionar extremamente bem. É sobre até que ponto uma IA pode "praticar" algo. O ambiente deve ser reinicializável (você pode iniciar uma nova tentativa), eficiente (muitas tentativas podem ser feitas) e recompensado (há algum processo automatizado para recompensar qualquer tentativa específica que foi feita).
Quanto mais uma tarefa/trabalho é verificável, mais passível de automação é no novo paradigma de programação. Se não for verificável, tem que cair da magia da rede neural de generalização com os dedos cruzados, ou por meios mais fracos, como a imitação. Isso é o que está impulsionando a fronteira "irregular" do progresso em LLMs. Tarefas que são verificáveis progridem rapidamente, incluindo possivelmente além da capacidade dos principais especialistas (por exemplo, matemática, código, quantidade de tempo gasto assistindo a vídeos, qualquer coisa que se pareça com quebra-cabeças com respostas corretas), enquanto muitas outras ficam para trás em comparação (tarefas criativas, estratégicas, que combinam conhecimento do mundo real, estado, contexto e bom senso).
O Software 1.0 automatiza facilmente o que você pode especificar.
O Software 2.0 automatiza facilmente o que você pode verificar.
8,76K
Melhores
Classificação
Favoritos


