  We generate anti-self-polar polytopes via a numerical implementation of the
gradient flow induced by the diameter functional on the space of all finite
subsets of the sphere, and prove related results on the critical points of the
diameter functional as well as results about the combinatorics of such
polytopes. We also discuss potential connections to Borsuk's conjecture.
