Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature
Diese Arbeit dokumentiert, wie die Formalisierung des 2HDM-Potentials in Lean einen Fehler in der weit verbreiteten Stabilitätsanalyse von Maniatis et al. (2006) aufdeckte und damit erstmals einen nicht-trivialen Irrtum in der Physikliteratur durch interaktive Theorembeweiser identifiziert.