Filling in the convex hull.

Nestor Guillen (like many, many others) wrote a blog post reflecting on recent progress in getting AI systems to prove results in pure mathematics: Happy those able to know the causes of things . It contains a nice analogy that may or may not be correct, which