The real AI bottleneck isn’t generation — it’s this

• Previous Issues What mathematicians figured out about AI that most enterprises haven’t Recent results suggest that research mathematics is no longer a purely speculative test case for AI. A growing set of examples shows AI contributing not just to short contest puzzles, but to open-ended mathematical work that requires literature search, cross-domain connection-making, revision, and