Articles dont les auteurs originaux ont examiné notre explication accessible.
Pour chaque article de cette page, au moins un des auteurs originaux a examiné notre explication accessible — soit en confirmant sa précision, soit en demandant des corrections que nous avons ensuite appliquées. Une validation ne signifie pas que les auteurs approuvent formellement chaque phrase, mais que l'explication a été revue par les personnes qui ont écrit l'article.
1292 articles vérifiés par les auteurs · 1151–1160 / 1292
Cet article tente de redonner vie au principe heuristique de Chaitin tout en démontrant, dans une partie collaborative, que la constante Omega ne représente pas une probabilité d'arrêt pour des programmes sans entrée sous une mesure discrète infinie, et propose ensuite plusieurs méthodes pour définir de telles probabilités.
Le papier présente Kathleen, une architecture de classification de texte innovante qui traite directement les octets UTF-8 bruts via un traitement fréquentiel sans tokenisation ni mécanisme d'attention, atteignant des performances supérieures à des modèles beaucoup plus volumineux grâce à des composants novateurs tels que les RecurrentOscillatorBanks et les PhaseHarmonics.
Cet article explique que la réussite ou l'échec de l'Ansatz de Bethe découle d'une dichotomie structurelle où la solvabilité exacte émerge lorsque la propagation des interactions se termine sans rencontrer de frontières structurelles, permettant une factorisation globale, tandis que la formation de telles frontières engendre des données irréductibles qui empêchent cette factorisation.
Cette étude présente un cadre de paramétrisation cohérent pour un modèle électrochimique-thermique de dégradation, permettant de prédire avec précision l'évolution de la santé et la durée de vie des batteries lithium-ion NMC sous diverses conditions de température, de courant et d'état de charge, tout en révélant les mécanismes compétitifs entre le vieillissement calendaire et cyclique.
Cette étude évalue la capacité de l'IDE Cursor à générer des projets logiciels à grande échelle fonctionnels mais révèle que, malgré un taux de réussite fonctionnelle élevé, ces systèmes présentent des défauts de conception critiques compromettant leur maintenabilité à long terme.
En modélisant la dynamique des cordes dans un cadre spatio-temporel fini plutôt qu'éternel, cette étude révèle que les cordes sans tension apparaissent exclusivement au moment de leur naissance, formant une phase caractérisée par une structure carrollienne ultra-locale.
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.
Cet article présente une généralisation SU(2)×U(1) de la théorie de Ginzburg-Landau pour la supraconductivité ferromagnétique à triplet de spin, décrivant un système riche en phénomènes tels que l'effet Meissner non abélien, des vortices et monopoles doubles, ainsi que des interactions magnétiques à longue portée médiées par des magnons sans masse.
Cette étude de vérification formelle révèle que 55,8 % des artefacts de code générés par sept grands modèles de langage dans des contextes critiques pour la sécurité contiennent des vulnérabilités mathématiquement prouvées, démontrant ainsi que les assistants de codage actuels produisent du code intrinsèquement fragile malgré les instructions de sécurité et les outils d'analyse traditionnels.
Cette étude démontre que, bien que les pièges de migration soient des sites privilégiés pour la formation de trous noirs binaires dans les disques de noyaux actifs de galaxies, la formation hors de ces pièges devient prédominante pour les masses de trous noirs supermassifs élevées ou dans des configurations de disque spécifiques où les accumulations de trafic jouent un rôle clé.