Remix.run Logo
▲ theturtletalks 6 hours ago

I just watched Primeagen’s video on this and Tao’s point is that juniors no longer have the path of solving a proof to earn Field’s medals. He also argues that the community part is being hurt by AI discovering proofs because in the past people used to get invite to talk and collaborate. Now all that is being taken away. The community must adapt because Pandora’s box cannot be closed.

Prime also mentioned that software development is different. In Software development, the product is what you’re building towards, so the means to get there can be disrupted without the industry being cannibalized.

In math research, the process is the product. You take away the researching part and not much is left. But my question is, these math proofs OpenAI released, will math shift to actually using the proofs to change the world instead of just finding new ones?

▲pjmlp 6 hours ago | parent | next [-]

Our industry is equally cannibalised, anyone that thinks otherwise is either having too many tokens or in a privileged position.

If business can deliver the same product with a smaller team, great!

And yes this has been happening for a while, even if not everywhere.

In enterprise consulting, projects that would require a team of 20 devs on average, now have about 5.

Moving away from on-prem, managing own cloud infra to managed containers, to serverless, SaaS and iPaaS ready made products, and offshoring naturally.

All contributed to ever decreasing team sizes.

Now AI based tooling is added to that cocktail, reducing even further the team sizes.

The only folks doing well in the end, are the employees of AI companies, without moral issues contributing to the industry downfall, because the CEO themselves aren't the ones coding and pirating human culture.

▲theturtletalks 5 hours ago | parent | next [-]

For now, a skilled person using AI is still miles better than an autonomous AI building something. I’ve been trying to do the latter for months to build open source alternatives and the end products still lack polish and that last 20%. Maybe this changes, but I still think there will be people who can use that AI to be better than AI alone.

▲pjmlp 4 hours ago | parent | next [-]

Definitely, the problem is that companies need less of them, just like a construction company opening roads with machinery, or an automated factory.

▲redox99 an hour ago | parent [-]

For now that is balanced by the fact that we build more software, things that wouldn't be worth it before.

▲epolanski an hour ago | parent [-]

It's not balanced, the market keeps shrinking visibly.

There's CVs out there that would've made recruiters go mad 36 months ago sending their hundreth application.

▲redox99 an hour ago | parent [-]

Number of employed SWEs has maintained the same, slightly increased in fact.

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

Doesn't matter, if the number of position keeps shrinking so will our job prospects.

I'm a freelancing consultant since 5 years, I've had 2 major customers now for 3+ years. I have a very good pulse of the market: being good, or being even very good and being among those that brings AI and automation to organizations will not save our jobs.

In fact, AI has sped up so much the work that 2 out of 5 people in my current team are being let go: I find it absurd, our productivity has more than doubled over the last years and we've made ourselves redundant. Money is money, I'm on one side making non-tech workers redundant (people whose job was menial boring office stuff), and building the systems that will make myself redundant.

▲guhidalg 6 hours ago | parent | prev [-]

Read the second to last slide. What we need now is *imagination*. You assume the need for new software is fixed and that AI is going to satisfy that need with fewer humans (lower cost), but by lowering the cost we can increase the supply of software!

That means software engineers better start getting creative. If you think your job is to wait for a PM to assign you a well-written researched ticket, you're done. Your job is now to figure out how to make these machines (computers) do whatever we need them to do safely, quickly, at scale, and correctly by applying all your knowledge of computer science and the engineering field of software engineering to an AI prompt.

▲pjmlp 4 hours ago | parent [-]

This doesn't scale, because like in a factory that gets replaced by robots, or in a supermarket with self checkouts, not everyone gets to save their job, regardless.

Also, the increase in output is meaningless when the amount of customers doesn't scale in similar size.

Then there are the constraints of physics, there are so many humans in the planet that actually want to pay for a specific product, or consulting services.

▲pfdietz 6 hours ago | parent | prev | next [-]

> Tao’s point is that juniors no longer have the path of solving a proof to earn Field’s medals.

This is a "you" problem for the math establishment, not a problem for the AI companies.

▲magicalist 31 minutes ago | parent | next [-]

> This is a "you" problem for the math establishment, not a problem for the AI companies

This was a talk given to other mathematicians about the future of mathematics; sounds like only "you" have a problem for some reason.

▲pfdietz 30 minutes ago | parent [-]

I'm sorry if a factual statement makes you unhappy.

▲math_dandy 5 hours ago | parent | prev [-]

Entirely correct. The math establishment needs fundamentally overhaul its incentive structure-irretrievably broken-to function under the assumption that AI involvement in research is completely ubiquitous.

▲pfdietz 5 hours ago | parent [-]

I'd go beyond that and say they need to overhaul their culture and mode of operation. Math needs to be even more collective than it is today, without focus on ego reward and priority. They were already steps in this direction before this year's AI detonation: net-enabled collaboration, first informally and then with Lean formalization. Perhaps there should be a de-emphasis on naming things after people.

▲delusional 6 hours ago | parent | prev [-]

Primeagen is a youtube reaction guy. You may as well tell me what hbomberguy, Jay Leno, or Ben Shapiro had to say about it.

▲zozbot234 5 hours ago | parent | next [-]

He also has an AI harness named after him (Prime Agent) so there's that.

▲alansaber 6 hours ago | parent | prev [-]

I mean this is funny ad hominiem but OP has a point. Academia has always massively prioritised understanding over outcomes, injecting startup culture into it is basically injecting antimatter.

▲becquerel an hour ago | parent [-]

Thesis, antithesis, synthesis?