Per ogni articolo in questa pagina, almeno uno degli autori originali ha visto la nostra spiegazione divulgativa e se ne è occupato — confermandone l'accuratezza o richiedendo correzioni che abbiamo poi applicato. Una conferma non significa che gli autori approvino formalmente ogni frase, ma che la spiegazione è passata sotto gli occhi di chi ha scritto l'articolo.

279 articoli verificati dagli autori · 71–80 / 279

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

Lo studio "Broken by Default" dimostra tramite verifica formale che il 55,8% del codice generato da sette modelli linguistici avanzati contiene vulnerabilità di sicurezza matematicamente provate, rivelando che gli strumenti di sicurezza attuali ne individuano solo una frazione minima e che le istruzioni esplicite non riescono a mitigare efficacemente il rischio.

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

Non-Abelian Ginzburg-Landau Theory of Spin Triplet Superconductivity

Il documento presenta una generalizzazione SU(2)×U(1) della teoria di Ginzburg-Landau per la superconduttività a tripletto di spin, che descrive le interazioni di gauge non abeliane dei magnoni, i due tipi di correnti superconduttive conservate, l'effetto Meissner non abeliano, la coesistenza di vortici e monopoli magnetici e di spin, e l'esistenza di tre scale di massa distinte con implicazioni per la fisica della materia condensata e la magnonica.

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

Questo lavoro presenta un framework pratico per valutare la concordanza tra modelli di segmentazione anatomica basati sull'intelligenza artificiale in assenza di ground truth, armonizzando gli output in una rappresentazione standard e fornendo strumenti di visualizzazione interattiva, dimostrando la sua utilità nel confrontare sei modelli open-source su scansioni CT NLST per segnalare discrepanze e prioritizzare i casi di disaccordo inter-modello per la revisione da parte di esperti.

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

Questo studio propone che le interfacce topologiche tra organismo e ambiente, governate da vincoli di trasporto delle risorse e selezione topologica, siano il meccanismo primario che determina l'origine delle forme biologiche, spiegando in modo unificato la diversificazione esplosiva, la motilità e le leggi di scala che i quadri teorici classici non riescono a giustificare.

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

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

Il paper sviluppa un quadro analitico basato sulle equazioni di Alexeev per il flusso turbolento in canali, dimostrando che l'accoppiamento tra le componenti di velocità trasversale e longitudinale genera soluzioni di tipo "kink" che descrivono la formazione e le caratteristiche degli streaks streamwise, fornendo una descrizione unificata dei profili di velocità media e delle strutture coerenti con un'alta concordanza con i dati sperimentali.

Alex Fedoseyev2026-04-07✓ Author reviewed 🔬 physics