Comment by fooker

> 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.