I found this 2015 panel with Terence Tao and some other eminent mathematicians to be interesting. The panel covered various topics but got into the question of when computers will be able to do research-level mathematics. Most interestingly, Maxim Kontsevich was alone in predicting that HLAI in math was plausible in our lifetime -- but also, that developing such an AI might not be a good idea. He also mentioned a BioAnchors-style AI forecast by Kolmogorov that I had never heard of before(and cannot find a reference to -- anyone know of such a thing?) Excerpts below:
INTERVIEWER: Do you imagine that, maybe in 100 years, or 1000 years, that, like it happened in chess -- humans stil play tournaments but everyone knows computers are better -- is it conceivable that this could happen in mathematics?
TAO: I think computers will be able to do things much more efficiently with the right computer tools. Search engines, for example, often you'll type in a query to Google and it will come back with "do you mean this" and often you did. One could imagine that if you had a really good computer assistant working on some math problem, it will keep suggesting "should you do this? have you considered looking at this paper?" You could imagine this would really speed up the way we do research. Sometimes you're stuck for months because you just don't know some key trick that is buried in some other field of expertise. Some sort of advanced Google could suggest this to you.
So I think we will use computers to do things much more efficiently than we do currently, but it will still be humans driving the show, I'm pretty sure.
INTERVIEWER: Maxim, do you think anything like this[HLAI, I assume] is possible?
MAXIM: I think it's perfectly possible, maybe in our lifetime.
INTERVIEWER: Why do you think so?
MAXIM: I don't think artificial intelligence is very hard. It will be pretty soon I suppose.
INTERVIEWER: You are a contrarian here, saying it will happen so quickly. So what makes you so optimistic?
MAXIM: Optimistic? No, it's actually pessimistic. I thought about it myself a little bit, I don't think there are fundamental difficulties here.
INTERVIEWER: So why don't you just work on that instead?
MAXIM: I think it would be immoral to work on it.
MILNER: I'm no expert, but isn't the way the computer played chess not really very intelligent? It's a huge combinatorial check. Inventing the sort of mathematics you've invented, that's not combinatorial checking, it's entirely conceptual.
MAXIM: Yeah OK, sure.
MILNER: Is there any case we know of computers doing anything like that?
MAXIM: We don't know any examples, but it's not inconceivable.
MILNER: It's not inconceivable...but I would be very surprised if we saw a computer win a Fields medal in our lifetime.
TAO: One could imagine that a computer could discover just by brute force a connection between two fields of mathematics that wasn't suspected, and then the person on the computer would be able to flesh it out. Maybe he would collect the medal.
MAXIM: Actually, Kolmogorov thought that mathematics will be extinct in 100 years, he had an estimate. He calculated the number of neurons and connections, he made the head something like one cubic meter. So yes, maybe a crazy estimate, but he was also thinking about natural boundaries.