No, the dumb thing is the idea that there are "sides".
> basically both sides now dislike that he flip flopped
Literally the only people with this opinion of Tao are internet forum warriors who have no expertise in the field and who's opinion of Tao don't matter in the slightest.
Similarly, Tao being ‘on the warpath’ does not matter in the slightest when it comes to formalizing math and finding proofs to important unsolved problems with AI.
Do you think that this is a quote from the article you just read?
I swear half the comments here are just from people reading dunks on r/singularity and x and getting real mad at strawmen.