That's basically equivalent to saying, by the church-turring thesis computers can solve any solvable problem, therefore it can probably solve the problem at hand.
Which is technically true, but as a pragmatic matter doesn't really tell us much about if, when, or how the problem will be solved.
Exactly - I’m not claiming a specific timeframe for AI to be helpful in this area - just pointing out that the claim that it is, ‘just fancy pattern matching’ isn’t limiting to its utility and that in theory it should be able to contribute here.
Which is technically true, but as a pragmatic matter doesn't really tell us much about if, when, or how the problem will be solved.