Para cada artículo de esta página, al menos uno de los autores originales ha visto nuestra explicación divulgativa y se ha implicado con ella — ya sea confirmando su precisión o solicitando correcciones que después aplicamos. Una confirmación no significa que los autores aprueben formalmente cada frase, pero sí que la explicación ha pasado por los ojos de quienes escribieron el artículo.

279 artículos revisados por autores · 71–80 / 279

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

El estudio "Broken by Default" demuestra mediante verificación formal con el solver Z3 que el 55,8% del código generado por siete modelos de IA líderes contiene vulnerabilidades de seguridad matemáticamente probadas, revelando que las herramientas actuales de la industria pasan por casi el 98% de estos fallos y que las instrucciones de seguridad explícitas apenas reducen la tasa de errores.

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

Non-Abelian Ginzburg-Landau Theory of Spin Triplet Superconductivity

El artículo presenta una generalización no abeliana SU(2)×U(1) de la teoría de Ginzburg-Landau para la superconductividad de tripletes de espín, la cual describe fenómenos como corrientes conservadas duales, el efecto Meissner no abeliano, vórtices y monopolos magnéticos y de espín, así como la física de la espintrónica de magnones.

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

This paper introduces a practical framework for evaluating concordance among AI-based anatomy segmentation models on datasets lacking ground truth by harmonizing outputs into a standard representation and providing interactive visualization tools, demonstrating its utility in comparing six open-source models on NLST CT scans to flag discrepancies and prioritize cases of inter-model disagreement for expert review.

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

SenseAI: A Human-in-the-Loop Dataset for RLHF-Aligned Financial Sentiment Reasoning

El artículo presenta SenseAI, un conjunto de datos validado por humanos que captura el proceso de razonamiento y las correcciones en el análisis de sentimiento financiero para alinear modelos de lenguaje mediante aprendizaje por refuerzo, revelando patrones sistemáticos de error como la "deriva de razonamiento latente" que pueden corregirse mediante esta estructura.

Berny Kabalisa2026-04-08✓ Author reviewed 💬 cs.CL

Organism-Environment Topological Interfaces Drive the Origination of Organismal Form

Este artículo propone que las interfaces topológicas entre los organismos y su entorno, gobernadas por restricciones de transporte de recursos y selección topológica, son el motor principal que origina las formas corporales fundamentales, explica la diversificación explosiva y unifica la comprensión de rasgos morfológicos clave más allá de los marcos evolutivos clásicos.

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

Analytical Kink-Type Solutions and Streak Formation in Turbulent Channel Flow

Este artículo presenta un marco analítico basado en las ecuaciones de Alexeev que describe la formación de estelas turbulentas mediante soluciones de tipo kink en el flujo de canal, logrando un ajuste preciso de los perfiles de velocidad con datos experimentales y explicando el mecanismo que vincula las fluctuaciones de velocidad transversal con la aparición de estructuras coherentes en la pared.

Alex Fedoseyev2026-04-07✓ Author reviewed 🔬 physics