Your initial claim is that learning math is more "people oriented" because you can discuss with the professor and "errors" in math are subjective, while learning coding is more "thing oriented" because the debugger will blankly return yes or no.
But now, you are providing article that show that math is not a matter of convincing people. In Terry Tao's article, he does not say: there are what I think is error but it's subjective, he says: there are errors, it's a fact, the article does not pass my "compiler". Same with Singh and MathOverflow: in both cases, the existence of errors is not subjective: when an error is discovered, they are demonstrated, and they exist or not.
You also point to something interesting: there is a lot of undiscovered errors. In this aspect, it's difficult to claim that it is not WORSE in computer science, where bugs and vulnerabilities are discovered YEARS after the software was released, and that we are pretty sure there are plenty of bugs not discovered yet.
The compiler will sometimes crash or complain if there is a logic inconsistency. That's exactly the same with math. All your articles and examples are example of bugs that exist despite the math compiler, the same way tons of bugs still exist after the code has been successfully compiled.
The example of "NO" and "NOR" is pretty good, because despite what you say, developers continue to make such mistake. This example is a type mistake, and you have EXACTLY the same mistake in math if you name 2 different unknowns representing different "type" (for example one is a scalar and one is a function) with the same symbol. What happens is that your equations "do not compile" really early and you discover it yourself quite fast.
> I don’t know what you’re trying to assert.
Well, the examples that you gave demonstrate that you are wrong. You were pretending that errors in math are subjective, they are a people-oriented subject and you can convince the professor it's correct even if it is not. All you have presented demonstrate this is not true.
I know it's difficult for you, you really want that computer science is somehow magically less people-oriented than math. It's cognitive dissonance, it's needed for you because you cannot accept that some data does not fit with your model "there is less women in computer science because there is always less women when it's less people-oriented" (the data in question is that another very similar field, as less people-oriented, is having a statistically significant different proportion of women, so it shows there is at least something more at play here). It would be so convenient to explain that the cultural problem in computer science communities and mentality are just "natural" and "explained" rather than something that could have been avoided. But that is just not the case.
(edit: the last link you provide is also quite revealing, with sentences like: "I was shocked to learn that the binary search program that Bentley proved correct and subsequently tested in Chapter 5 of Programming Pearls contains a bug. Once I tell you what it is, you will understand why it escaped detection for two decades.". They are not talking about a mathematical error: the mathematical logic is correct. They are talking about the fact that it fails if the sum value is higher than (2^32-1). I thought you were saying that computer science is different than math because the compiler would have said "no". What I see is that computer science and math are very similar: some errors don't pass the basic tests, and some errors pass the basic tests)