A Proof of Atiyah's Conjecture on Configurations of Four Points in Euclidean Three-Space
Michael Eastwood and Paul Norbury
From a configuration of $n$ points in Euclidean three-space, Atiyah constructed
a determinant and conjectured that it was always non-zero. In this article we
prove the conjecture for the case of four points.