O. Aichholzer, S. Allen, G. Aloupis, L. Barba, P. Bose,
J.-L. D. Carufel, J. Iacono, S. Langerman, D. Souvaine, P. Taslakin, and
M. Yagnatinsky
Given a set P of points in the unit square let w(P) be the minimum sum of the
squares of the edge lengths in the minimum spanning tree of P. We show that
w(P) < 3.411.