Harald Helfgott (ENS, Paris ) et David Platt (Univ. Bristol) ont utilisé les ressources de MesoPSL pour finaliser leur preuve de la conjecture ternaire de Goldbach.