This weekly roundup thread is intended for all culture war posts. 'Culture war' is vaguely defined, but it basically means controversial issues that fall along set tribal lines. Arguments over culture war issues generate a lot of heat and little light, and few deeply entrenched people ever change their minds. This thread is for voicing opinions and analyzing the state of the discussion while trying to optimize for light over heat.
Optimistically, we think that engaging with people you disagree with is worth your time, and so is being nice! Pessimistically, there are many dynamics that can lead discussions on Culture War topics to become unproductive. There's a human tendency to divide along tribal lines, praising your ingroup and vilifying your outgroup - and if you think you find it easy to criticize your ingroup, then it may be that your outgroup is not who you think it is. Extremists with opposing positions can feed off each other, highlighting each other's worst points to justify their own angry rhetoric, which becomes in turn a new example of bad behavior for the other side to highlight.
We would like to avoid these negative dynamics. Accordingly, we ask that you do not use this thread for waging the Culture War. Examples of waging the Culture War:
-
Shaming.
-
Attempting to 'build consensus' or enforce ideological conformity.
-
Making sweeping generalizations to vilify a group you dislike.
-
Recruiting for a cause.
-
Posting links that could be summarized as 'Boo outgroup!' Basically, if your content is 'Can you believe what Those People did this week?' then you should either refrain from posting, or do some very patient work to contextualize and/or steel-man the relevant viewpoint.
In general, you should argue to understand, not to win. This thread is not territory to be claimed by one group or another; indeed, the aim is to have many different viewpoints represented here. Thus, we also ask that you follow some guidelines:
-
Speak plainly. Avoid sarcasm and mockery. When disagreeing with someone, state your objections explicitly.
-
Be as precise and charitable as you can. Don't paraphrase unflatteringly.
-
Don't imply that someone said something they did not say, even if you think it follows from what they said.
-
Write like everyone is reading and you want them to be included in the discussion.
On an ad hoc basis, the mods will try to compile a list of the best posts/comments from the previous week, posted in Quality Contribution threads and archived at /r/TheThread. You may nominate a comment for this list by clicking on 'report' at the bottom of the post and typing 'Actually a quality contribution' as the report reason.
Jump in the discussion.
No email address required.
Notes -
This is unfortunately a merely aspirational statement. The practice of mathematics involves writing proofs in a heavily intuitive manner, and their verification in turn involves people who have been socialised to share the same intuitions, which is a process that rarely involves proper reduction to the axiomatic basics but more often looks like "your elders and betters assert that it is trivial and look at you with mild disappointment, and all your peers seem to already have gotten it, so get on with it and flog your brain into producing the 'this is obviously true' qualium already". There were a handful of examples where local cultures/status hierarchies perpetuated a body of wrong mathematics this way, such as the "Italian school of algebraic geometry" and more recently (most likely) the Mochizuki abc conjecture incident.
We can be quite glad that it has not yet happened that the lines of a wrong intuition-subculture have aligned with general tribalism yet. If Interuniversal Teichmüller Theory were an invention of the likes of Arday, we would be seeing its detractors decried as racist and proper mathematicians performatively weaving it into the body of accepted and otherwise sound mathematics. Even if this did in fact cause further downstream inconsistencies to open a path to excision and repair, discovering those is (disproving abc)-complete, and that's something we have tried and failed for a long time.
I'm struggling to understand what you mean. At this point we have systems for automatic verification of formal proofs. In what sense are those systems socialized to share the same intuitions?
Those systems are not, but automatically verifiable proofs are still only a tiny sliver of frontier mathematics. Maybe AI can fix that, but AI can fix social science too. Just require that credit for AI research always has to go to some human, allocate token budgets by protected class, and you can ensure the Ardays stay ahead without requiring them to lie.
More options
Context Copy link
The intuitions required for formal proof verification are "it's worth rewriting this proof in another language that's an order of magnitude more verbose just so you can get a computer to tell you what you're sure you already know" and "the verifier doesn't have any soundness bugs that will invalidate any of its verifications" Historically the latter has sometimes been untrue and the former has usually been untrue. LLMs are fixing the first problem, which is exposing and leading to fixes for the second problem, but that's all a relatively new development. It's going to take a while to go back through all the mathematical literature and see how much of it might have problems due to predating the coming era of formal verification.
Consider the recent construction of a complex structure on the six-sphere. The simplest English explanation I've seen is under a thousand lines of (admittedly difficult!) writing and mathematical notation. The Lean formalization is a quarter-million lines of code. It's ... probably correct, people seem to think? But if it is correct, the construction would (reportedly; this is outside my field and way beyond me) contradict a 2020 paper (which itself was a correction to a 1998 paper), so we're almost certainly either producing new broken proofs or revealing old invalid proofs here.
More options
Context Copy link
More options
Context Copy link
Sure, you can fuck up everything. As noted in the wiki entry (presuming it's correct), there was no problem with formal proofs; The problem was first going for informal arguments (the start of the slippery slope, though as so often it worked fine-ish for awhile) and then lowering the standards until anything goes. I also think it's notable that the majority of mathematicians has so far refused to accept the Mochizuki proof until it's understood more widely. Both were also mostly localised incidents.
Admittedly I've always been on the more informal end of math myself as well (back when I did research in a field that could be described as mostly-theoretical math), but even there I could simply double-check my conjectures with simulations, which is just yet another way of a feedback with reality.
I think you underestimate the power of proofs. If you make a conjecture, try to write a proof, and not just fail, but you find obvious counterexamples, there just isn't much left to salvage. Or the other way around, if you find multiple different proofs to arrive at the same conclusion and nobody you meet can generate any counterexample or find a clear hole in the proofs. It's true that there is some social element, it would be silly to claim otherwise, but proofs aren't just arbitrary arguments at triviality, either.
I'm familiar enough with the practice of maths (being an actual researcher in adjacent-enough TCS, and having had one foot in extremal combinatorics through a big part of my toil towards the degree), and I think you really overestimate the rigour of proofs as usually written up. The incidents I mentioned are for sure geographically localised, but in the case of the Italians it's not like the situation was that they believed it, and everyone else disagreed; for the longest time it was instead that they believed it, and nobody elsewhere cared but probably would have assumed that their fellow mathematicians knew what they were doing if they had to build upon one of their results.
There are other examples where, due to insufficient rigour of proofs as allowed and encouraged in the field, wrong proofs stood for quite a while. This was the case for like 10 years for some of the earliest claimed proofs of the 4-color theorem (an undergrad assignment actually had us find the counterexample to the core lemma there), more recently for some pretty celebrated random matrices "result" by Avi Wigderson et al. (hardly nobodies!) which stood for several months, and when writing a summarising essay on some cluster of Erdös papers I learned about a key lemma that was straight up wrong as stated, but people in the community thought essentially "something like it is clearly true, the core ideas of the proof are fine, and it's okay for the situation where we use it" (no proof of any of those things committed to paper). Correction eventually happened in the cases we know about, but can we really rely on the mechanism? Mochizuki has intimidated a big part of his department to ignore the refutations, and Japan is hardly a backwater, and there are political forces out there that are stronger than "this guy is one of our country's best, we should stand by him".
More options
Context Copy link
More options
Context Copy link
Man, I remember struggling with mathematical proofs in University. I kept just not getting it; it was never explained what made a valid proof. I eventually just learned to intuit what my professors expected, barely well enough to make it through, but I never truly got it.
More options
Context Copy link
More options
Context Copy link