{"id":"arxiv/2610.14059","url":"https://arxiv.org/abs/2610.14059","tags":["hep-ph","cs.AI","cs.LO","hep-th"],"score":0,"title":"The Future of AI-assisted Physics: Discovering, Verifying and Organizing Results via Formalization","domain":"hep-ph","source":"arxiv","authors":["Sven Krippendorf","Leopoldo Sarra","Joseph Tooby-Smith"],"reviews":0,"subject":"hep-ph","summary":"Rapid advances in AI have opened a new era for physics, enabling unprecedented capabilities in research and discovery. However, these advances also bring challenges in verifying, trusting, and reusing the results they so rapidly produce. Formalization is a necessary part of the solution to these challenges. In this paper, as well as giving an overview of the role of AI and formalization in physics, we make the case that: (1) formalization is an essential layer for AI-driven discoveries in both computational and theoretical physics; (2) AI is lowering the barrier to, and increasing the…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-10-06","reactions":{}}