Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Abstract
Abstract. ThispaperpresentsamathematicallyrigorousformulationaddressingtheYang– Mills Existence and Mass Gap problem, one of the Clay Mathematics Institute’s Millennium Prize Problems. Moving beyond fixed-parameter cutoff approximations, we establish a con- tinuous dilation framework on Banach spaces where the scaling parameter λ ∈ [1, ∞) acts as a transient regularizer. By utilizing non-perturbative Wilson loop area laws and transfer matrix spectral bounds, we prove the existence of a non-trivial Mass Gap ∆ > 0 without assuming dimensional transmutation a priori. Furthermore, through uniform cluster expan- sion bounds, we verify the infinite volume limit (Λ → R4), demonstrating that the resulting Schwinger functions satisfy all four Osterwalder–Schrader (OS) axioms (OS1–OS4). : Declaration of Generative AI and AI-Assisted Technologies (including Claude and Gemini) : AI Use Declaration: Generative AI tools were used during manuscript preparation exclusively for language polishing, LaTeX syntax formatting, and assisting in the structuring of Lean 4 tactic workflows. All mathematical proofs, derivations, and underlying theoretical concepts were formulated, checked, and validated independently by the author, who holds sole responsibility for the work.
The method, ECCOLA, is presented, which aims at making the high-level AI ethics principles more practical, making it possible for developers to more easily implement them in practice.
Ville Vakkuri, Kai-Kristian Kemell, P. Abrahamsson· EUROMICRO Conference on Soft...· 64 citations· ⚡6
The goal is to not only refine the accuracy of the LLM-based tool but also to underscore its potential in streamlining the software development lifecycle through proactive code improvement and education.
Z. Rasheed, Malik Abdul Sami, Muhammad Waseem et al.· arXiv.org· 62 citations· ⚡3
A comprehensive overview of how enhanced sampling methods are reshaping the field, with a particular focus on the data-driven construction of collective variables, is provided.
Kai Zhu, Enrico Trizio, Jintu Zhang et al.· Chemical Reviews· 58 citations
The use of large language models to automatically improve the user story quality in Austrian Post Group IT agile teams is explored, with a reference model for an Autonomous LLM-based Agent System developed and implemented at the company.
Zheying Zhang, M. Rayhan, Tomas Herda et al.· International Conference on...· 48 citations· ⚡4
This paper introduces a novel multi-AI-agent system designed to fully automate SLRs, and demonstrates how it substantially reduces the time and effort traditionally required for SLRs while maintaining comprehensiveness and precision.
Abdul Malik Sami, Z. Rasheed, Kai-Kristian Kemell et al.· arXiv.org· 44 citations· ⚡2
The proposed LLM-based multi-agent system automates qualitative data analysis process, creating opportunities for researchers and practitioners, and future improvements focus on enhancing multilingual performance and integrating continuous expert feedback.
Z. Rasheed, Muhammad Waseem, Aakash Ahmad et al.· arXiv.org· 41 citations
Robots are getting smarter, but how can their hardware match that growth? New Microsoft Research findings show that moving AI inference beyond the robot can improve task success, boost efficiency, and support more advanced physical AI workloads. The post Offloaded inference for real-world physical AI robotics appeared first on Microsoft Research.