increasingly concerned that ai is revealing the mathematical world as negatively curved. instead of everyone wandering about in idea-space and clustering around the same famous conjectures (local positive curvature), ai is pushing out the boundaries rapidly and revealing that the space of mathematical ideas is ~hyperbolic (negative curvature). though this means there's lots left to discover, it also means that small separations between people/agents will lead to wandering alone. we may be emerging into an idea-space where there's so much to see and do but everyone is alone in a private heaven, unable to share their subtle joys with others...

Had one of those nights where all the vibe coded pieces collapse in front of you and you realize engineers are still very, very much necessary

damn, "Claude knows" is a pretty wild thing to say being an academic