

O mercado está uma bagunça, os hacks continuam acontecendo, e a equipe @Lighter_xyz só continua adicionando coisas. Agora há 23 tokens de ações disponíveis como garantia, com a lista de ativos tokenizados ainda em crescimento. É impressionante o quanto eles continuam construindo consistentemente, enquanto todos estão fixos nos gráficos e nos últimos escândalos. Construtores reais vencem no final, e não tenho dúvidas sobre isso.

A OpenAI acabou de lançar o lifeval, porque os benchmarks acadêmicos só dizem tanto sobre se a IA realmente pode tornar sua vida mais fácil. Ela afirma que um ano de trabalho tornou seus modelos mais rápidos e melhores em usar navegadores, computadores e aplicativos conectados, com o Gpt-6 astra obtendo os melhores resultados registrados de 100% em tarefas selecionadas, como agendar inspeções de carros ou comprar mantimentos dentro do orçamento. Isso é um dado interessante, porque as pessoas confiarão mais na IA com mais aspectos de suas vidas se ela conseguir realizar tarefas de forma confiável. Benchmarks como este impulsionam o desenvolvimento em direção às tarefas cotidianas e caóticas que realmente conquistam essa confiança.

Um agente de IA agora está pilotando... um telescópio do SETI A Nvidia afirma que agentes de IA agora estão ajudando a operar o Allen Telescope Array na Califórnia, controlando suas antenas e processando até 2,4 terabits de dados de rádio por segundo, tudo por meio de instruções em inglês simples basicamente, o telescópio recebe uma enxurrada de ruído de rádio a cada segundo, e um filtro decide o que vale uma segunda olhada e o que é descartado. agora, um pesquisador digita um único pedido e o agente reescreve esse filtro, de modo que um humano dá a ordem, mas o código da IA decide o que pode sequer ser considerado um sinal alienígena (!) (até agora, seu grande sucesso foi a detecção em tempo real do pulsar da Nebulosa do Caranguejo, uma estrela morta que os astrônomos já conheciam)

de volta em 2022, quando todos começaram a correr atrás da IA, metade das startups eram basicamente wrappers glorificados do GPT. mas comparar a IA daquela época com o que temos hoje é quase ridículo a criptomoeda já está se tornando parte da própria pilha de IA, desde carteiras de agentes até pagamentos em stablecoins. esses não são dois negócios concorrentes (mesmo que os ciclos de investimento sejam diferentes)

Agentes de IA estão levando provas de segurança da produção artesanal para a produção em massa. V12 e Zellic afirmam que é a primeira prova publicada que cobre toda a execução de um programa x86, verificada no código de máquina bruto que a CPU executa, como inspecionar a ponte construída em vez do projeto, e um segundo programa semelhante exigiu apenas 739 novas linhas. Seria ótimo obter uma garantia de segurança verificável sobre o próprio programa compilado, com menos camadas confiadas. Reutilizar as partes mais difíceis significa que o próximo programa semelhante exigirá muito menos esforço para verificação, o que pode tornar provas de segurança rigorosas práticas em escala! É importante notar que esses são resultados próprios, e eles reconhecem que seu modelo x86 ainda está em desenvolvimento e ainda não foi auditado por um ser humano, mas seria bem legal se isso pudesse ser escalado. https://t.co/CS5gv6j3uz



