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

▲

magicalist an hour ago | parent [-]

> Similarly, Tao being ‘on the warpath’

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.

	▲	fooker 28 minutes ago \| parent [-]
		“I’m on a war footing,” he said while grabbing coffee during a two-day math workshop at the University of California, Los Angeles, that was rife with talk about the existential crisis that artificial intelligence has created in his field.