Pinned
100% agree on the productivity boost. One just needs patience to correct mistakes, which are more subtle than before imo.
I had a nice interaction with GPT-5-pro while proving a convex analysis lemma: arxiv.org/abs/2510.26647
The model didn’t write the full proof, but the
Totally agree with @ErnestRyu that AI helpers will become very useful for research. But in the near future the biggest help will be with *informal* math, the kind we work out with our collaborators/grad students on a whiteboard. I already use frontier models to help write/debug
