Remix.run Logo
▲ jacquesm 2 hours ago

We're not so far from 'you never had some god given right to be alive, well fed and sheltered. You have a good body, make yourself useful in some industry.'

▲danielmarkbruce 2 hours ago | parent [-]

We are miles away from that.

Math proofs are right in the sweet spot for training LLMs with RLVR. It isn't some general "LLMs are getting insanely smart!". Even most software development itself is miles away from being as well suited to training as math proofs are.

The majority of math research is akin to professional chess. Completely useless and the folks doing it are using their giant brains to play a game that no one outside themselves benefits from.

▲qbit42 an hour ago | parent | next [-]

For what it's worth, most mathematicians are paid to teach, and the amount of research funding going into mathematics is relatively small. Plus, there are rare but important broader advancements due to pure and applied math that are hard to predict in advance (e.g., cryptography, compressed sensing).

Mathematicians also decide what to prove in their research - taste is not a skill we have RLVR'd away (yet, not claiming this is fundamental).

Of course, the field is being fundamentally transformed, it will probably end up looking more like experimental science in the future.

▲jacquesm an hour ago | parent | prev [-]

The bulk of the people on this planet do not make their money in advanced math but in mundane jobs that are well within the capabilities of AI as it is today. It will take some time to figure out how to put it all together but all of those jobs are on borrowed time unless there is some kind of regulatory action to stop that from happening.

▲danielmarkbruce an hour ago | parent [-]

Perhaps. But as someone who uses AI to automate something that seems in the bucket of things you are talking about - it's harder than it seems, the edge cases are endless, claude code is worse at building real systems than people think and humans are doing a lot more than people realize once you start trying to automate.

All I'm saying is the math advances of late really hasn't changed much outside of math as far as AI is concerned.

▲jacquesm 29 minutes ago | parent [-]

Agreed, in the meantime, try finding work as (a) a translator (b) a junior programmer (c) a copywriter (d) a proofreader. And so on. There are so many job categories that are already feeling the impact of AI that I think it is wrong to focus on the plight of the mathematicians, I think their jobs are - for the most part anyway - still safe. It's the low end of the information processing where the real damage is.