JP (@jpthor) on X
Short summary
A quoted post from mathematician @prof_g argues that AI is expanding mathematical idea-space faster than people can follow, making it look negatively curved (hyperbolic) rather than clustered around famous conjectures. The upshot, he warns, is lots left to discover but researchers drifting apart and working alone.
- Mathematicians have traditionally clustered around famous conjectures, which the author calls locally positively curved idea-space.
- AI is pushing the boundaries outward quickly, revealing the space as closer to hyperbolic, with more territory the further you go.
- The result: even small separations between people or agents could mean wandering alone, with fewer shared discoveries.
Full summary
The core claim is a metaphor from @prof_g about how AI is changing the shape of mathematics. Normally, researchers wander through a kind of "idea-space" and end up crowding around the same famous conjectures, which is what positive curvature looks like: nearby paths converge. The worry is that AI, by pushing the frontier outward quickly, is revealing that this space is closer to hyperbolic, or negatively curved. In that geometry, paths diverge. Two people who start a small distance apart drift further and further away from each other.
The practical upshot is a double-edged picture. On one hand, there is far more territory than anyone realized, so there is plenty left to discover. On the other hand, the divergence means collaboration gets harder as the field expands. Small differences in starting point or interest can separate researchers into isolated corners, each working on problems the others can't easily follow. The author's phrasing is "a private heaven," a world rich with discoveries that few people are around to share.
The post is short and mostly a quote, so the argument rests on the analogy rather than on evidence. It doesn't name specific AI results or measure how the "curvature" has changed, and it leaves open whether the isolation is a real trend or a mood. Still, it's a useful frame for thinking about what happens to mathematical community and shared understanding as machine-assisted discovery speeds up.