Why Math Dumped OpenAI
The article presents a critical perspective on OpenAI's relationship with the mathematics community, arguing that the company has fostered a toxic environment. It contrasts OpenAI's commercial approach with the more foundational and honest contributions of symbolic systems like Lean.
Why it matters
It highlights growing friction between AI developers and academic researchers regarding the ethics and impact of large language models on specialized fields.
Don’t let anyone call the mathematicians Luddites. No.
AI in Math had a natural synergy that researchers made every effort to embrace. OpenAI turned this into a toxic relationship. This breakdown in trust runs parallel to what we see in Software Engineering and other domains.
When programmers say mathematicians are “feeling our pain” now, some mean it in the sense of being shocked to discover machines have surpassed them. That’s a naive but understandable take if you’ve seen recent headlines without prior knowledge of the situation. I’ll explain.
OpenAI’s position at the frontier of Mathematics is not that of the player making the biggest contribution, but of the player with the highest budget, biggest mouth, and least integrity.
The reason people call ChatGPT a “Super Intelligence,” but don’t consider Lean prover one, is that Sam Altman is a liar and Leonardo de Moura is not.
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in