Taken to the extreme, the user unwittingly (or not?
I imagine feds will never object to drug markets related subreddits now, as it's a convenient crowdsourced insider info.
The formal logic approach is still the only one that has a theoretical possibility of creating some aspects of true intelligence.
Sort of. We actually do have fairly robust theorem solvers written in prolog, but thats not enough. Intuitively, "true AI" works like extracting formal logic theorems out of huge set of before/after data fed to a blackbox.
Just like humans do something intuitively at first, with some degree of success, but when they find rational backgrounds (with help of formal logic rigor) behind that intuition, it gives significant accuracy boost. The two work in tandem - formal rigor is toothless when facing the totally unknown, but can explain it after intuitive models are trained and it can feed its hypotheses into them in lieu of farmed data.
Trouble is that layered NN camp ("intuitive") and formal logic camps are still too separated. But corporate interests will force merger to a degree.
This is most visible in speech recognition, and more recently, vision where formal grammar models sit above low level intuition NN, or better said, directs training of layers so it can work with less data and reason about unknown inputs because it actually "understands" what's going on on a formal level.
FORTUNE'S FUN FACTS TO KNOW AND TELL: #44 Zebras are colored with dark stripes on a light background.