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.

279 artigos revisados por autores · 71–80 / 279

Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code

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.

Dominik Blain, Maxime Noiseux2026-04-08✓ Author reviewed 🤖 cs.AI

Non-Abelian Ginzburg-Landau Theory of Spin Triplet Superconductivity

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.

Franklin H. Cho, Y. M. Cho, Pengming Zhang, Li-Ping Zou2026-04-08✓ Author reviewed 🔬 cond-mat

In search of truth: Evaluating concordance of AI-based anatomy segmentation models

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.

Lena Giebeler, Deepa Krishnaswamy, David Clunie, Jakob Wasserthal, Lalith Kumar Shiyam Sundar, Andres Diaz-Pinto, Klaus H. Maier-Hein, Murong Xu, Bjoern Menze, Steve Pieper, Ron Kikinis, Andrey Fedoro (…)2026-04-08✓ Author reviewed ⚡ eess

Organism-Environment Topological Interfaces Drive the Origination of Organismal Form

Este artigo propõe que as interfaces topológicas entre organismos e o ambiente, governadas por restrições de transporte de recursos e seleção topológica, são os principais impulsionadores da origem das formas biológicas, oferecendo um mecanismo unificador que explica a diversificação explosiva, a motilidade e as escalas corporais de maneira não abordada pela síntese evolutiva moderna.

Li, W., Zhang, X.2026-04-07✓ Author reviewed 📄 evolutionary biology

Device/circuit simulations of silicon spin qubits based on a gate-all-around transistor

Este estudo investiga teoricamente o processo de leitura de qubits de spin baseados em transistores de gate-all-around (GAA) por meio de simulações TCAD e SPICE, demonstrando que um circuito de leitura CMOS convencional com amplificador de sensores pode detectar efetivamente os estados do qubit através do controle dinâmico da tensão aplicada.

Tetsufumi Tanamoto, Keiji Ono2026-04-07✓ Author reviewed 🔬 cond-mat.mes-hall