✓ Verificati

Articoli verificati dagli autori

Articoli i cui autori originali hanno esaminato la nostra spiegazione divulgativa.

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.

1300 articoli verificati dagli autori · 1161–1170 / 1300

🔢 rings & algebras

Why the Bethe Ansatz Works: A Structural Explanation via Interaction Propagation

Questo articolo offre una spiegazione strutturale della solvibilità esatta tramite l'Ansatz di Bethe, identificando il meccanismo di propagazione dell'interazione come fattore determinante: la solvibilità emerge quando tale propagazione termina senza incontrare confini strutturali, permettendo una fattorizzazione finita dei dati, mentre il suo fallimento è causato dalla formazione di tali confini che generano dati irriducibili.

Joe Gildea2026-04-10✓ Author reviewed ⓘ
🔬 materials science

Linking Calendar and Cycle Ageing in Lithium-Ion Batteries through Consistent Parameterisation of an Electrochemical-Thermal-Degradation Model

Questo lavoro presenta un quadro di modellazione elettrochimico-termico-degradativo parametrizzato in modo coerente per prevedere l'invecchiamento combinato da calendario e ciclico delle batterie agli ioni di litio, fornendo approfondimenti sui meccanismi di degrado e traiettorie di vita utile sotto diverse condizioni operative.

Ganesh Madabattula2026-04-10✓ Author reviewed ⓘ
💻 computer science

Beyond Functional Correctness: Design Issues in AI IDE-Generated Large-Scale Projects

Questo studio evidenzia che, sebbene l'IDE AI Cursor guidato dal framework FD-HITL possa generare progetti software su larga scala con un'alta correttezza funzionale (91%), tali progetti presentano numerose problematiche di progettazione che ne compromettono la manutenibilità e violano principi fondamentali come SRP, SoC e DRY.

Syed Mohammad Kashif, Ruiyin Li, Peng Liang, Amjed Tahir, Qiong Feng, Zengyang Li, Mojtaba Shahin2026-04-09✓ Author reviewed ⓘ
⚡ electrical engineering

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 (…)2026-04-08✓ Author reviewed ⓘ
🔬 condensed matter

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 ⓘ
🤖 AI

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 ⓘ
🔭 astrophysics

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 108M⊙10^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 ⓘ
💻 computer science

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 ⓘ