O Meetup de Rust é hoje! Junte-se a nós às 18h para explorar gRPC, Protocol Buffers e o lançamento do Hackathon Oxidar. Detalhes 👇

Aligned é a solução completa para uma internet verificável. Desde sistemas financeiros até IA, construímos onde os fatos vêm em primeiro lugar e a confiança é calculada—não assumida. Verdade, do início ao fim. ENVIE PROVAS.

Todas as blockchains sofrem de latência. Segundos, minutos, até HORAS antes que uma transação seja finalizada. Esse atraso não apenas desacelera tudo, mas arruína a experiência do usuário. Vamos analisar por que a latência é o maior gargalo do Web3. 🧵 #Web3 #Crypto #Blockchain

Uma "câmara lúcida" é um dispositivo que utiliza um prisma segurado por uma armadura de metal para projetar uma imagem da cena à sua frente em um pedaço de papel abaixo, como um projetor moderno conectado a um fluxo de câmera ao vivo. Esses dispositivos foram provavelmente inventados no início dos anos 1400, embora relatos publicados sobre eles não apareçam até o final dos anos 1500. Parte da razão para isso é provavelmente que eram segredos comerciais bem guardados de artistas que os usavam para alcançar um grau de precisão que era anteriormente impossível ou, pelo menos, extremamente difícil de fazer à mão livre. O artista David Hockney se interessou muito por esse assunto há anos e escreveu um livro sobre isso em 2001. Sua teoria básica era que a notável melhoria na precisão e no realismo era diretamente atribuível ao uso secreto da câmara lúcida (e também de um dispositivo anterior chamado câmara escura). Como ele apontou, antes desse período, você nunca veria uma pintura de um alaúde em perspectiva que não parecesse distorcida e errada. Embora você pudesse usar as "regras da perspectiva" para desenhar formas retas simples de maneira realista, a geometria mais complexa de um alaúde estava além da capacidade normal do ser humano de retratar realisticamente no espaço. Essa teoria é conhecida como a tese Hockney-Falco. Desde que aprendi sobre isso na faculdade no início dos anos 2000, meio que apliquei mentalmente um asterisco às obras de certos pintores. Por exemplo, por mais que eu respeite e admire Ingres e Caravaggio, a admiração que eu tinha por suas habilidades foi atenuada pela realização de que eles provavelmente se valeram desse tipo de auxílio mecânico. E claro, grande parte da arte está no conceito, na composição e enquadramento, nas cores, nas pinceladas, etc. Mas aquele realismo impressionante e vívido foi o que mais me impressionou, e essa parte foi pelo menos parcialmente destruída por essa revelação. Isso também me fez respeitar ainda mais o realismo escultórico de Michelangelo (e também seus estudos que são claramente esboços feitos a partir da vida). De qualquer forma, a razão pela qual trago isso à tona agora é que acredito que estamos à beira de algo semelhante acontecendo nos campos de pesquisa matemática com o advento de modelos como o GPT-5 Pro. Já o utilizei para fazer o que suspeito ser uma pesquisa genuinamente nova e interessante (como detalhei em tópicos recentes), e hoje recebemos uma atualização de Sebastien Bubeck na OpenAI mostrando que o modelo foi capaz de provar um resultado interessante em matemática contemporânea usando uma nova prova, em uma única tentativa, não menos. Então, esta nova era está de repente sobre nós. Vimos um resultado de cientistas da computação chineses na semana passada quebrando um recorde de ordenação ótima que durou 45 anos. Naquele momento, eu me perguntei se a IA foi usada de alguma forma para gerar esse resultado. Veja também o artigo recente no tweet citado, que tem um caráter semelhante, pois é ao mesmo tempo surpreendente e também elementar. Esses parecem ser, para mim, marcas de resultados que podem ter se beneficiado da IA de alguma forma. Agora, não quero acusar esses autores de nada. Pelo que sei, eles fizeram tudo manualmente, assim como os pintores do século 1300. E mesmo que tenham usado IA para ajudá-los, ainda não temos normas aceitas sobre como lidar com isso: quais divulgações são necessárias e como o crédito deve ser distribuído e considerado. Todo o conceito de autoria deve ser reconsiderado hoje. No meu tópico recente onde investiguei ao lado do GPT-5 Pro sobre o uso da teoria de Lie em aprendizado profundo, eu elaborei os prompts eu mesmo, embora eu nunca em um milhão de anos conseguiria gerar a teoria e o código que o modelo desenvolveu como resultado desses prompts. Eu recebo o crédito pelo resultado se ele acabar revolucionando o campo? E quanto ao meu experimento subsequente, onde usei meus prompts originais que escrevi eu mesmo junto com um "meta prompt" para fazer o GPT-5 Pro criar mais 10 pares de prompts modelados vagamente após os meus, mas envolvendo ramos totalmente diferentes da matemática que se desenvolveram em direções totalmente diferentes. Eu recebo crédito por essas teorias se elas se revelarem importantes? Eu realmente espero que sim, porque já publiquei as ideias e o código no GitHub e as divulguei amplamente, então se alguém seguir essas linhas de investigação, a ética acadêmica exigiria que me citassem. Mas mesmo que você ache que eu mereço crédito por direcionar a IA com meu próprio prompt, então certamente minhas reivindicações de prioridade são um tanto enfraquecidas para as 10 outras teorias que são o resultado de usar meu prompt como modelo para o meta prompting, certo? Afinal, eu nem sabia que "Geometria Tropical" era uma coisa há alguns dias, e agora tenho uma teoria e um código que a aplicam à pesquisa em IA. Eu posito que, assim como comecei a aplicar mentalmente um asterisco a certas obras de arte e artistas, semelhante ao asterisco ao lado do nome de Barry Bonds no Hall da Fama, suspeito que a maioria dos cientistas começará a fazer o mesmo para quaisquer novos artigos baseados em teorias matemáticas no próximo ano ou mais. Suspeito que as pessoas logo dirão coisas como "esse cara é o verdadeiro negócio; ele escreveu seus melhores artigos antes de 2025!" para distinguir entre aqueles que fizeram todo o seu trabalho manualmente usando seus próprios cérebros e aqueles que usaram assistência de IA. E isso é absolutamente uma maneira válida de pensar sobre as coisas se a IA for capaz não apenas de responder a problemas teóricos difíceis, mas até mesmo de levantar questões interessantes por conta própria. Se estou certo, devemos nos preparar para uma onda de artigos de pesquisa chocantes que superam recordes e limites de longa data, e quebram paredes que foram consideradas relativamente impenetráveis, exceto por alguma teoria revolucionária. E acredito que muitos desses resultados compartilharão algo em comum: que sempre estiveram bem diante de nós, mas exigiam a combinação de teorias de diferentes áreas da matemática e disciplinas aplicadas de novas maneiras que não foram perseguidas antes devido a razões humanas e sociológicas: diferentes campos se dividindo em linhas, com terminologias, periódicos, práticas, departamentos, conferências, redes sociais, etc. A outra forma que suspeito que esses resultados tomarão é aproveitar resultados elementares de maneiras bizarras que, por qualquer razão, não vêm naturalmente aos cérebros humanos, mas que podemos entender uma vez que sejam claramente explicados para nós. Outra forma que podem assumir é resultados que aproveitam esoterismos há muito esquecidos da análise do final do século 19. Os tipos de truques que permitiram a Feynman resolver integrais que ninguém mais conseguia resolver. Esses resultados são conhecidos e existem em livros, mas ninguém lê esses livros mais, e as teorias originais para as quais foram desenvolvidas foram em grande parte superadas por nossa maquinaria moderna que opera em muitos níveis de maior abstração e generalidade. Outra forma que podem assumir é simplesmente aplicar matemática conhecida que é compreendida por apenas algumas centenas de gênios especializados no mundo que se concentram apenas na teoria e não em aplicações.

estamos a discutir qual é a melhor música de fundo para o zk arcade. alguma recomendação?

eles já estão pedindo L2 personalizável para @ethereum. eles só precisam de uma pilha simples que ofereça os melhores recursos do ethereum com personalização e escalabilidade. @alignedlayer já está trabalhando com instituições que estão exigindo isso.

ótima oportunidade para ouvir @diego_aligned falar sobre criptografia por quase uma hora. ele abordará a história do zk e as últimas melhorias.

O que é que estás a fazer?

ZK vai dominar as finanças tradicionais. Nada para este comboio.

Aligned é a solução completa para uma internet verificável. Desde sistemas financeiros até IA, construímos onde os fatos vêm em primeiro lugar e a confiança é calculada—não assumida. Verdade, do início ao fim. ENVIE PROVAS.