Harald Helfgott (ENS, Paris ) and David Platt (Univ. Bristol) have used the resources of MesoPSL to finalize their proof of the Goldbach ternary conjecture.