DualityCert: Riparazione AI delle Affermazioni sulla Teoria Quantistica dei Campi

Un team di ricercatori ha introdotto DualityCert, uno strumento di verifica simbolica progettato per valutare le affermazioni sulla dualità di Seiberg all'interno di teorie di gauge quiver N=1 in quattro dimensioni. Questo strumento valuta il matching dell'anomalia di 't Hooft, la coerenza delle cariche R del superpotenziale, il matching della carica centrale e un proxy limitato dell'anello chirale. Le affermazioni che superano il processo di verifica ottengono un certificato di coerenza, che significa che non sono state rilevate incongruenze, ma non serve come prova di dualità. Il verificatore funziona come un quadro correttivo per gli agenti modello linguistico, a cui è affidato il compito di modificare affermazioni intenzionalmente difettose fino a ottenere la certificazione. In un test preregistrato che coinvolge 145 affermazioni difettose, i nuovi tentativi potenziati dal verificatore hanno portato a un aumento dei tassi di successo della riparazione di +8,3 punti percentuali per deepseek-chat e +7,1 pp per qwen-plus (p<0,002 aggiustato con Holm). I risultati sono disponibili su arXiv con l'identificatore 2607.23614.