Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature
Questo articolo descrive come la formalizzazione in Lean del lavoro del 2006 sulla stabilità del potenziale del modello a due doppietti di Higgs abbia rivelato un errore fondamentale negli argomenti originali, segnando la prima scoperta di un errore non banale in un articolo di fisica ottenuta tramite tale metodo.