https://xcancel.com/wtgowers/status/1984340182351634571
"I crossed an interesting threshold yesterday, which I think many other mathematicians have been crossing recently as well. In the middle of trying to prove a result, I identified a statement that looked true and that would, if true, be useful to me.
"Instead of trying to prove it, I asked GPT5 about it, and in about 20 seconds received a proof. The proof relied on a lemma that I had not heard of (the statement was a bit outside my main areas), so although I am confident I'd have got there in the end.
"the time it would have taken me would probably have been of order of magnitude an hour (an estimate that comes with quite wide error bars). So...
https://xcancel.com/wtgowers/status/1984340182351634571
"I crossed an interesting threshold yesterday, which I think many other mathematicians have been crossing recently as well. In the middle of trying to prove a result, I identified a statement that looked true and that would, if true, be useful to me.
"Instead of trying to prove it, I asked GPT5 about it, and in about 20 seconds received a proof. The proof relied on a lemma that I had not heard of (the statement was a bit outside my main areas), so although I am confident I'd have got there in the end.
"the time it would have taken me would probably have been of order of magnitude an hour (an estimate that comes with quite wide error bars). So it looks as though we have entered the brief but enjoyable era where our research is greatly sped up by AI but AI still needs us.
"PS In case anyone's worried that it used a lemma I hadn't heard of, I checked that the lemma was not a hallucination."
Comments URL: https://news.ycombinator.com/item?id=45778214
Points: 2
# Comments: 0