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.

622 articoli verificati dagli autori · 491–500 / 622

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

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

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

The role of migration traps in the formation of binary black holes in AGN disks

Questo studio dimostra che, sebbene le trappole di migrazione siano il sito dominante per la formazione di buchi neri binari in dischi di nuclei galattici attivi con masse inferiori a 108M10^8 M_\odot, per masse superiori la migrazione differenziale e gli accumuli dovuti a cambiamenti nel profilo di densità possono favorire la formazione di coppie anche al di fuori di tali trappole.

Maria Paola Vaccaro, Yannick Seif, Michela Mapelli2026-04-08✓ Author reviewed 🔭 astro-ph

Feasibility of Primality in Bounded Arithmetic

Gli autori dimostrano la correttezza dell'algoritmo AKS all'interno della teoria aritmetica limitata T2countT^{count}_2 (equivalente a VTC20VTC^0_2), provando prima il risultato in S21+iWPHPS^1_2 + iWPHP sotto due assiomi algebrici e fornendo successivamente nuove formalizzazioni di teoremi di teoria dei numeri e algebra necessari per stabilire la derivabilità di tali assiomi.

Raheleh Jalali, Ondřej Ježil2026-04-08✓ Author reviewed 💻 cs

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

Tensor renormalization group approach to critical phenomena via symmetry-twisted partition functions

Questo articolo dimostra come il gruppo di rinormalizzazione tensoriale applicato alle funzioni di partizione con simmetria attorcigliata permetta di rilevare con precisione le transizioni di rottura spontanea di simmetria e di studiare i fenomeni critici associati, come confermato dai risultati ottenuti per i modelli Ising bidimensionale e O(2)O(2) tridimensionale e bidimensionale.

Shinichiro Akiyama, Raghav G. Jha, Jun Maeda, Yuya Tanizaki, Judah Unmuth-Yockey2026-04-06✓ Author reviewed ⚛️ hep-lat