Yes! This is a good summarization. Science is a method, a method that us very powerful but has its own limitations.

Analytic philosophy seems to have no limitations surrounding what questions it might attempt to answer, but the ability to prove an idea beyond a reasonable doubt is something that it is unable to do in the way that science can. Machines will still do things scientifically as well in conjunction with whatever goes beyond its capability.