I think it is good people are talking but there seems to be a lot of "forced optimism", especially by people obviously hoping to keep a channel open between themselves and the labs.

I think it isn't true that no one imminent is considering (1). Tsimmerman said he thought the job of math researcher was over as soon as he announced he was leaving the field.

I think the question is so far still open, but it is easy to imagine Tsimmerman was right. I haven't been impressed with the calls for "human understanding" as the really important thing. It seems to miss the point of why math has been funded (not exactly problems, but certainly not to ensure every theorem is understood either).

As a scifi comment, it is now possible to start thinking about some future AI system which decides if it will need to explain certain math to humans and to pick and train young people for that purpose.