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 -
The primary smell test is if a person promoting something is only using one brand. Does he only use chatgpt and never mention something else? Then that is fishy. Does he hop between models and providers than it is probably genuine excitement.
Speaking of covert LLM marketing I was recently invited to a meetup that specifically mentioned claude code vibe coding. There was no official sponsor yet they had rented a somewhat fancy venue and there were heaps of food. They were going to another city to do the same thing the day after. According to themselves they were just passionate about claude code.
Considering the boatload of money invested into these spaces it makes sense to market their products and traditional advertising probably gives less bang for the buck.
Typically, yes, but we're unironically talking 160+ IQ here. He certainly has negotiating power and some sense of dignity and taste. Anyway, yes, I freely concede my searches specifically for "OpenAI gives TT a bunch of money" were in vain. But they did turn up his new foundation, which comes remarkably close to confirming my original conspiracy theory right on the tin. He’s clearly salty about losing that government money (and rightly so), and is pivoting to asking for private sources.
More options
Context Copy link
I know little of the math / AI space but google is genuinely a player here in LLM math along with OpenAI
Has anyone ever seen Terrance speak of Gemini or use a Google LLM math product
Yes we did, even recently:
or here you can see his comments on erdosproblems.com:
The entire OpenAI conspiracy theory is asinine. Tao isn't a shill, he's pretty restrained in his praise of AI, and his experiments have been going on for years now, gradually escalating from "neat paperwork automation" to "can assist in mundane bits of research" to recognition of autonomous discovery, in tune with AI gaining these capabilities. Eg here he talks about GPT-4:
This precedes Trump and discredits speculations about his recent financial motive.
He is also not locked into OpenAI ecosystem, as I've just demonstrated, and he's been on the board for AIMO, which is a Kaggle competition of tuning small open models for solving math problems. Progress Prize 1 and 2 were won using DeepSeek and Qwen models. I don't see how that advances OpenAI's agenda. Prize 3 seems to be won using gpt-oss, but it was unusually strong in its weight class in the relevant time window, so this is fair.
He has no reason to refuse participating in OpenAI-funded activities, he's got no ideological dog in this fight, so that proves nothing. Him, Gowers and other extremely successful mathematicians are obviously just excited about AI getting good, which is a very natural thing to be excited about. I struggle to understand the theory of mind that makes one see anything suspicious here. Probably if you're convinced that AI is a sham and all smart people ought to recognize it as well as you do… but that's such a fanatical viewpoint. More sane to just dismiss him as a washed-up crank.
More options
Context Copy link
I wouldn't read too much into this. Has anyone ever seen him use a theorem prover other than Lean? If anything, he's a lot more explicit about using the Lean "brand" than the OpenAI brand. Yet obviously he's not a sponsored shill for Big Lean (because there is no Big Lean).
What's clear is his organisation is pursuing private funding since the government axed his grants. I think it's likely OpenAI is among them given his appearance on their Twitter promo. Whether there's any exclusivity contract, who knows, I don't have a confident assessment.
More options
Context Copy link
More options
Context Copy link
More options
Context Copy link