robotpepi

The point of the post is that what you call "AI knowledge" is not knowledge.

> If AI leads to an era of abundance, then the economic system has to change.

This is beyond naive.

Your analogy doesn't work. A "product" in research pure math is not the same as writing code.

it's incredible the amount of people who think all these recent posts in Taos blog were written by him.

> AI has largely not been trained to operate independently yet.

It's not obvious at all that it's possible to train it to operate independently. So far, AI has been succesfuly trained only for highly controlled and verifiable tasks (code generation and mathematics).

> One human needs to teach one AI system how to do one specific task. Everyone can now use this. Before you had to teach every single human having to do this task and the next generation.

We already had that before AI. The problem was precisely that it's too inefficient to make a new system for each different task. Of course, the new AI is more multimodal, etc, but up to what point? Not clear so far.

AI is very efficient when you ask them to do a specific, one-objective task. It has no independence whatsoever, that's why it cannot _replace_ humans. This is evident for anyone using AI routinely.

Of course this doesn't mean we may need less amount of humans for certain jobs, or that I'm the future AI will gain new abilities.

This doesn't make any sense. You try to explain a 28% by arguing based on edge cases.

It feels like publicity stunt. Of they really care about research, they would at least have given more reasonable citations in the Navier-Stokes paper.

> Were you, let's say 6 months ago, expecting it to resolve one of the Millennium Prize problems?

I didn't expect them to throw millions of dollars at each famous math problem. But one year ago we already had LLMs that solved IMO problems, no?

> Are you sure? (The numbers I've heard, which I admittedly have no very strong reason to trust, don't seem that way to me.)

Math has very little founding compared to other science domains. Also, if you filter mathematicians by specialization in PDE and that have worked on Navier-Stokes, then you end up with a very niche community.

> For instance, suppose you give one of today's frontier models some of those chain-of-cubes rotation puzzles. How well will it do?

I feel like this is not the correct way of thinking about it. We can also ask, for instance, how well a state-of-the-art algorithm for the salesman problem works on a particular graph topology. People do PhD thesis on topics like that, so the answer is not obvious at all. For LLMs we still don't have a curated theory that explains what they're good/bad at, and that you don't see how to extract an answer from the definitions is no surprise since this is obviously not an easy problem. But all this is normal because this is a rather new topic (models of this scale appeared when? 3 years ago? That's nothing for science).

Anthropomorphizing LLMs has added so much noise to this discussion.

> Otherwise you could just put this problem into an automated theorem prover (we've had those forever, they are actually just brute-forcing it).

There are many automatic theorem provers that do very clever stuff, just as the underlying theroy describes.

> I am shocked how people can deny that solving Navier Stokes requires some sort of intelligence.

It is absurd to waste time discussing whether it is inteligent or not. It is just an algorithm, we know how it works, and it does exactly what we expect it to do. LLMs are not magical things. The main difference is the scale: for Navier-Stokes they spent in 3 days more money that the whole mathematical community over the last 20 years easily.

By the way, I'm not saying that LLM's are useless, that I'm anti-AI or anything like that.

For me, mathematicians seem to be still having an inner discussion rather a making these essays for the more general public. In any case, I think that statements of the type "there's actually no role for human Mathematicians" are completely non-serious, so it'd sad that the discussion concentrates on that.

> In the (extremely) short run, yes. In the long run, those jobs will also be done by AI.

Let's be honest: we don't know. Maybe you're right, but for the moment it's more likely that you're not. And countries cannot bet on that vague intuition at the cost of destroying their research communities and world leadership (which takes decades if not a century to achieve).

> 1) My way of thinking, and 2) what I already know and how well I recall it in this context.

I don't think we're discussing pedagogy. Good _research_ exposition is instead related to communicate your intuition and way of seeing things. The conceptualization of a given situation or problem is what is valuable, how you connect it with other stuff, etc. It is then up to you to memorize and interiorize it.

I don't see the point. No one is proposing a complete rejection of AI tools.

You don't know what the survivorship bias is.

He later participated in Bourbaki, who were known by their overly formal style, tough.

Code has a very different purpose than math tough. The development in basic science follows a different motivation system.

I'd say this is the most optimistic scenario. there are really difficult problems to be solved in terms of access to AI.

i wonder if anyone is going to read that.

> This kind of argument is always dangerous, because it essentially resorts to moving goalposts. "Oh, AI can now do X? Sure it is amazing, but it can't do Y yet, so we're totally safe!"

It's not about moving goalposts. What you're not understanding is that, even if for you is crystal clear that AI will be 100x smarter tomorrow, those in charge cannot simply bet all on that. Right now AI cannot really replace the core sauce of mathematicians (all the "understanting" and "asking the real questions" stuff), so it'd be unwise for, say, countries to start making decisions as if AI is capable of that.

Well the author of this one obtained a grant based on the work, the proof uses the same strategy as Anthropic's and even share some notation. I'm not an expert but this doesn't seem like one of those P!=NP proofs.

> Disproof of the Jacobian conjecture by example

It should be noted that there was a manuscript, available online since the beginning of 2025, with a solution to the Jacobian conjecture:

"Adrian Vasiu claims that the 7 page AI paper on the 3D Jacobian conjecture counterexample used notation and concepts from a draft of a paper jointly written with Alexander Borisov and Ofer Gabber, dated to January 14, 2025 and made publicly available on January 16, 2025."

The extract is from wikipedia, where the sources are given.

I don't think the essay was proposing that mathematicians should continue to focus on proving everything by themselves forever. It's mostly a critic of how the discussion is focusing too much on that mere "yes/no" answers is the same as makign mathematics advance.

> This subjective attitude turns mathematics into nothing more than number-poetry.

I don't think you understood the point. The point applies to all of basic science. You of course want some explanation supporting the raw answer, so you can use that insight in other contexts.

For the moment, AI is not capable of advancing mathematics _in the sense_ you're describing. AI is very bad at designing stuff, asking questions, etc. Maybe in the future you'll be able to ask the AI "cure cancer" and it'll do it, but for now we're very far away from that (this doesn't mean the current achievements aren't impressive).

> I’d say Terrance has recently left the denial phase, the anger phase

What are these comments? Tao, in particular, has been pro AI since years ago...

> Wondering how this will discourage mathematicians at all, since now they have another tool to accelerate their research.

I'm a professional mathematician and these tools are not available for me. So not happy about that!

(just to be clear, I'm not anti AI, I'm just criticising the shallowness of your comment)

I don't understand what you're proposing then. We can ask AI to solve practical problems of interest (making a computer faster for instance), but I'd say no one really believes that this is an unlimited resource. At some point we'll reach a plateau, and then AI will be an important tool but to continue advancing we'll need someone to ask the right questions.

> I thought the historical examples of photography and chess engines would be enough for people to connect the dots, but apparently not.

You're just an overconfident idiot who thinks that because there is an analogy along one dimension of a absurdly complex problem you've somehow arrived at a superior truth.

I repeat, this is an incredibly complex situation in which no one fully understands what's going on. The letter is simply asking for greater awareness of the implications of what AI companies are doing, they're not even saying that AI is bad!