Artigos cujos autores originais revisaram nossa explicação em linguagem simples.
Para cada artigo desta página, pelo menos um dos autores originais viu nossa explicação em linguagem simples e se envolveu com ela — confirmando a precisão ou solicitando correções que depois aplicamos. Uma confirmação não significa que os autores aprovem formalmente cada frase, mas que a explicação passou pelos olhos de quem escreveu o artigo.
607 artigos revisados por autores · 471–480 / 607
Este artigo busca revitalizar o Princípio Heurístico de Chaitin na lógica e, em colaboração com M. Jalilvand e B. Nikzad, demonstra que a constante Omega não representa a probabilidade de parada de programas sem entrada sob qualquer medida discreta infinita, propondo simultaneamente novos métodos para definir tais probabilidades.
O artigo apresenta o Kathleen, uma arquitetura de classificação de texto que opera diretamente em bytes UTF-8 sem tokenização ou mecanismos de atenção, utilizando processamento no domínio da frequência e apenas 733 mil parâmetros para superar modelos baseados em tokens com 16 vezes mais parâmetros em várias tarefas de benchmark.
Este artigo oferece uma explicação estrutural independente de representação para a solvabilidade exata via Ansatz de Bethe, identificando que a propagação de interações que termina em profundidade finita sem encontrar fronteiras estruturais força a fatoração de dados globais, enquanto o encontro com tais fronteiras gera dados irredutíveis que impedem essa solução.
Este trabalho apresenta uma estrutura de modelagem eletroquímica-térmica-degradação parametrizada consistentemente para prever o envelhecimento de baterias de íon-lítio NMC sob diversas condições de uso, revelando como os mecanismos de degradação concorrentes (como crescimento de SEI, deposição de lítio e perda de material ativo) interagem para gerar trajetórias de fade de capacidade sub-lineares, lineares ou aceleradas.
Este estudo avalia a capacidade da ferramenta Cursor, auxiliada pelo framework FD-HITL, em gerar projetos de software de grande escala funcionalmente corretos, revelando que, embora atinjam uma taxa de correção funcional de 91%, os sistemas gerados apresentam inúmeros problemas de design que comprometem a manutenibilidade e violam princípios fundamentais de engenharia de software.
O artigo revela que as cordas sem tensão surgem exclusivamente no momento do seu nascimento, ao formular a dinâmica de cordas em configurações de vida finita dentro de um diamante causal, o que expõe uma nova fase caracterizada por uma estrutura carrolliana global e ultra-local.
Este artigo apresenta um framework prático e ferramentas de visualização para avaliar e comparar a concordância de múltiplos modelos de segmentação anatômica baseada em IA em dados de TC sem ground truth, harmonizando as saídas em uma representação padrão e demonstrando sua utilidade na comparação de seis modelos de código aberto em exames de TC do NLST para sinalizar discrepâncias e priorizar casos de discordância inter-modelo para revisão por especialistas.
Este artigo apresenta uma generalização não-abeliana SU(2)×U(1) da teoria de Ginzburg-Landau para supercondutividade de tripleto de spin, descrevendo um sistema com interações magnéticas de longo alcance, duas correntes conservadas, vórtices e monopólos distintos, e três escalas de massa características que unificam a física da supercondutividade e da spintrônica de magnons.
O estudo "Broken by Default" utiliza verificação formal com o solucionador Z3 para demonstrar que a maioria dos códigos gerados por sete modelos de IA de ponta em contextos de segurança contém vulnerabilidades matematicamente provadas, com nenhuma das ferramentas de análise ou instruções de segurança convencionais conseguindo mitigar eficazmente esses riscos.
Este estudo demonstra que, embora a maioria dos pares de buracos negros binários se forme em armadilhas de migração em discos de AGN com buracos negros supermassivos de massa inferior a , em sistemas mais massivos ou em configurações específicas de disco, a migração diferencial e o acúmulo de tráfego permitem a formação de pares fora dessas armadilhas, desafiando a suposição de locais fixos de formação.