Solver Agent: an Agentic AI Framework for Theoretical Physics Computations Applied to F-theory Uplifts of O3-planes and S-folds
Read the original on arXiv AI →The paper introduces Solver Agent, an AI framework that uses large language models to perform calculations and proofs in mathematics and theoretical physics, tracking the solution process via a persistent ledger. It applies this framework to study global F‑theory uplifts of Type IIB orientifolds and S‑folds, establishing conditions for Weierstrass models over projective threefolds with terminal ζ_k quotient singularities to yield Ε-factorial elliptically fibered Calabi‑Yau fourfolds. The authors derive fixed‑point contributions to Hodge data and Euler characteristics, demonstrate how these corrections determine localized D3‑brane charges for tadpole cancellation, and illustrate the results with toric hypersurface constructions and methods for four‑form flux analysis in Δ=1 compactifications.
Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.