The “convex hull of ideas” is a very interesting framing.

My own suspicion/guess is that AI can break out of the bounds of the convex hull in math, and that’s going to become apparent soon.