Blackpill me on functional programming

No bluepilled answers please.

Mathemathics will be replaced with theorem generators, theorem explainers and theorem prover software. The humans would only supervise directions of research and read the results.
There isn't an absolute need for algebraic drudgery and manual work.