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 -
No posts about the AI plagiarism in mathematics?
Well, here you go
Tristan Buckmaster published a letter about some stuff in math, blah blah who cares.
The important thing is that he's essentially accusing OpenAI of spying on him and stealing his work in order to publish first. When questioned about this, OpenAI started backtracking and trying to get Buckmaster's coauthor, an Anthropic employee, removed as an author. Then, they threatened him
I'm reminded of the fun song, Lobachevsky.
He is, of course, NOT accusing OpenAI of this. I am accusing Tristan of accusing OpenAI, Tristan is much more circumspect. But c'mon, if it stinks like shit maybe check your shoe. This looks like OpenAI stepped in something.
Sebastien Bubeck, responding for OpenAI, and himself, in non-specific terms.
More here with more background on the timeline and people involved.
The more important underlying issue is: frontier models are outcompeting aspiring academics in theoretical math, making open problems trivial, making them feel obsolete.
I think there's a workaround that lets academics (including Buckmaster et al) keep their pride and purpose.
Terrace Tao wrote a few days ago: AI largely autonomously solving open problems is bad, because the solution itself isn't very important, but the techniques (advances, insights, etc.) developed to find the solution and failed attempts are. These techniques assist future problems including ones with practical applications. Meanwhile LLM solutions are barely readable so we don't get any techniques from them, only the open problem solution.
So even if a model solves an open problem, it still makes sense for academics to do themselves, or at least break the model's solution into something comprehensible by humans, and receive credit for that. Buckmaster et al were already doing that:
So why don't they just finish their readable proof, publish, and get credit for that? Look, even if OpenAI hesitated to publish their allegedly stolen result, they still wouldn't be first, because another independent group has now also reached the solution. It's unfortunate that sometimes mathematicians reach the same discovery independently in parallel, but these ones still have a chance to be famous in a small group, just not in a (slightly larger?) small group.
Isn't the accusation that all the frontier model did was train on the draft proof by Buckmaster, and then OpenAI published the model's work as original, in which case the frontier model is not really outcompeting mathematicians?
Or is my summary of the controversy incorrect? I agree with your post's conclusions about what it would mean for Buckmaster's accusations to be unfounded, but it is not clear to me either way.
I think that the draft proof was itself largely written by AI, and so the controversy is about which specific group of humans pressing the, “insert coins to solve mathematics”, button gets the credit.
EDIT: Also my understanding is that the draft proof was for a related-but-not-Millennium-Prize-worthy subproblem.
More options
Context Copy link
More options
Context Copy link
More options
Context Copy link
More options
Context Copy link