The S-matrix conjecture. ~ Yinjie Li. arxiv.org/abs/2608.297... #LeanProver #ITP #AI4Math
@jalonso.eurosky.social@jalonso.eurosky.social
@jalonso.eurosky.socialThe S-matrix conjecture. ~ Yinjie Li. arxiv.org/abs/2608.297... #LeanProver #ITP #AI4Math