{"id":"arxiv/2609.35958","url":"https://arxiv.org/abs/2609.35958","tags":["hep-th","cs.AI","math-ph","math.AG"],"score":0,"title":"Solver Agent: an Agentic AI Framework for Theoretical Physics Computations Applied to F-theory Uplifts of O3-planes and S-folds","domain":"hep-th","source":"arxiv","authors":["Eliott Morgensztern","Cesar Fierro Cota","Alessandro Mininno"],"reviews":0,"subject":"hep-th","summary":"We introduce Solver Agent, an AI framework based on large language models for calculations and proofs in mathematics and theoretical physics. The solution process is tracked through a persistent ledger that records assumptions, derivations, and computations. A central agent delegates tasks to specialized sub-agents, while independent agents verify both intermediate steps and the final result. This setup improves the traceability, reproducibility, and verification of computer-assisted calculations. Applying Solver Agent, we study global F-theory uplifts of Type IIB orientifolds and their…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-28","reactions":{}}