100%. Thinking tasks cost money now. Some colleagues and I were having this very conversation this morning. Universities don't have the resources to access unlimited compute to do this kind of work. There are a lot of very cool projects being done but it's always like I'm spending 50k in tokens for X project.

I think you are right to note the undercurrent missing of "empowering" the people doing the solving.

This is in notable contrast to the "PC revolution" in the late 70s/early 80s, the marketing was all about equipping people, empowering individuals. It was a "personal" computer after all, not a big mainframe owned by corporate... designed to make you more powerful.

That messaging is wildly absent from the EA/SV-centric LLM/AI boom.

Instead it's about replacing you, the singularity, inevitability, fear-mongering, etc. And there is much more of a flavor of information asymmetry to the business model because of the Internet connectivity and SaaS structure to it all designed to enable the fastest possible feedback loops for the inventors combined with a bunch of pinkie promises with no actual controls possible on the user side at least for the frontier large models. What exactly did OpenAI peek at when doing Navier-Stokes and do they even know or would you trust them to tell you? You are right, it is a very different vibe.

Indeed. I think this will ultimately require government intervention and regulation to keep it from destabilizing and monopolizing the entire economy. They’ll have to make AI more like a public utility than a private SaaS subscription.

Mathematics is much easier that way to train. Science in general. Governments will again need to become powerhouses of resources for compute to generate public research.

Trump already spilled the beans on this. They want to just dump public money into these companies they can buy calls on and end the whole research model as we know it, replacing it with what exactly, they don't care as long as they can skim off the trillions spent on research.

Such a depressing time to be a knowledge worker with domain expertise.

I feel it would be effective and prudent to protest the current use of AI and to effectively unionize and ostracize AI use until many of these demands are met. The companies that own the models and the infrastructure will never be more vulnerable. They have fired a salvo. Fire Back.

Not your fault - and thanks for the gift link - but NYT still wanted me to login to read it.

Their prerogative, but no thanks.

um, actually, one question must still be asked, as the Fields requires its recipient to be under 40 at some point in the year it is awarded

Replacement isn't bad as long as it doesn't strip people of dignity, and that's the tricky part.

Google, in a large sense, replaced librarians, service desks, 411, and many other specialist people and services whose purpose was "The knowledge is somewhere, and there is an index, but most people don't know where the index is or how to read it."

But librarians aren't really diminished as a result (while service desks may have kind of quietly evaporated to go do something else).

If the system becomes "People talk about mathematics and then an analysis engine reads that zeitgeist much faster than people can and pulls it all together into new insights," that's not apriori bad... Except that we have to consider how many people were in that conversation because their ultimate goal is to have an insight tied directly to them, i.e. to become the Hamilton in "Hamiltonian operator." Because the reality is that people practice mathematics both to advance the sum total of human knowledge and to roll the dice on getting stamped into the history books as the closest form of immortality that people get, and we can't just ignore both drives.

Grant Sanderson (3blue1brown) expressed thoughts on this topic space in a recent video, where he suggested one possible shift might be from the focus in the field being on frontier-pushing to the focus being on making the frontier more "human-shaped." There's a huge gap between higher math and what most people understand, and possibly ample opportunity to bridge it.

I read somewhere that 56% of the problems had some Lean Proof, but upon inspection, there are gaps between what Lean proves and what English says about the proof.

Making an English language description of a problem and proof steps match the Lean proof is apparently harder than the halting problem and is not something that a Lean proof alone or the current dump or even the Navier-Stokes dump solves.

A good breakdown of the problem is here: https://arxiv.org/html/2610.08144v1 or also see here: https://terrytao.wordpress.com/2026/10/09/what-mathematician...

Yes, because those have to actually go through the gauntlet.

These math advances are more or less zero-sum wins, as in there's not much gained for the outside world, and a chance to prove an important theorem is taken away from humans. In a sense it's hard to celebrate it. If, however, they were able to advance medicine, science or technology, it would be a different story.

I pay, but always get a half screen popover asking me to upgrade to a family membership.