Greg Egan on Nostr: Since Peter Scholze (and doubtless many other highly talented people) has eschewed ...

Since Peter Scholze (and doubtless many other highly talented people) has eschewed the use of AI completely, I expect there will be many great mathematical theorems proved in the future without the use of AI.