The current state of AI is incredible, and useful and doesn't need to reach AGI to be revolutionary. For example, I uploaded a conversation between a few people and not only asked about translating the text but doing a psychological analysis on turn-turning and other conversational cues. Just around a decade ago, the speech-to-text Dragon Naturally Speaking[1] was not reliable with only one speaker without any background noise.
Even if AI never progresses past this point, it still seems like a huge win for math research to “clear the deck” of these.