DualityCert: AI Repair of Quantum Field Theory Claims

A team of researchers has introduced DualityCert, a symbolic verification tool designed for assessing Seiberg-duality assertions within four-dimensional N=1 quiver gauge theories. This tool evaluates 't Hooft anomaly matching, the consistency of superpotential R-charges, central-charge matching, and a limited chiral-ring proxy. Claims that pass the verification process obtain a consistency certificate, which signifies that no inconsistencies were detected, but does not serve as a proof of duality. The verifier functions as a corrective framework for language-model agents, which are tasked with editing intentionally flawed claims until they achieve certification. In a preregistered test involving 145 flawed claims, the verifier-enhanced retries led to an increase in repair success rates by +8.3 percentage points for deepseek-chat and +7.1 pp for qwen-plus (Holm-adjusted p<0.002). The findings can be found on arXiv with the identifier 2607.23614.