I just don't understand how Alpöge can get Claude to construct so many complex mathematical objects. He must already have some deep insight into the structure these things are likely to take. Naive prompting, or naive search would not have found pretty much any of the object he's found in the past month.
He has an AB in Math from Harvard with a senior thesis "The average elliptic curve has few integral points", and a PhD in Math from Princeton with thesis "Points on Curves", so it's fair to say he has some deep insight. (https://alpo.ge/cv.pdf)