Comment by sashank_1509 | Hacker News Reader

Comment by sashank_1509 | Hacker News Reader

Can the mathematics field come out of this stronger and better. I doubt it, things will only get worse. There is no future in being a Proof Digester, no valuable human is motivated in doing that, nor is there any glory in it. But there are some potential pathways for maths to come out strong from this:

1. Relentless focus on quality. Every publication must act as if it’s going to be included in a future textbook, that is a newcomer can get into it given a reasonable amount of time, and math priors learnt in undergrad. (NO AI Slop proof passes this bar as of now)

2. Limit the publications per year. Each author is allowed 2 with a max of 50 pages. This allows the author who chooses to not surrender his cognitive capacity to the machine, still be allowed to play this game. Of course who wants to orchestrate a thousand agent workflows, is free to do so, he is only limited to 2 publications.

3. The aesthetics of the field changes from purely solving the problem to solving the problem with simplest most elegant set of ideas. What 3 sets of simple ideas solves large swathes of problems, that should be given a fields medal, not purely solving the problem, which the AI will be able to do.

> There is no future in being a Proof Digester, no valuable human is motivated in doing that, nor is there any glory in it.

Coding has already gone this way and plenty of people do find motivation and glory in the final product vs. the building of the product (myself included). I absolutely see value in a person being able to humanize llm math output and see the field moving in that direction.

I don’t think you’d be doing this if you were paid peanuts. I also think coding is in a transitional period, most people who claim they are “building the product” are going to lose their jobs as the models get better.

I am genuinely doing it for free in my free time on top of my work (in fact I pay for the models) so I am doing it for less than peanuts. I completely disagree w/r/t the model take, their is skill in steering work to get a product done that is what management has always been about, I do think in the long run this will be automated but I have seen 0 progress on it so far.

I disagree, there’s no future in “Steering” a model. You ask what you want, and the model delivers. Opus 5.5 is getting there already, A single line prompt creates a fully functional game engine that can be used to make many different games : https://m.youtube.com/watch?v=R_uf5OfMGio&t=3555s (Opus 5.5)

Please explain to me what great prompting / steering you will do when your customer can just prompt exactly what he wants and get a product even more tailored to his needs.

Natural language is too lossy for most usecases and people are bad at being specific enough to get what they want. For example, I am not creative enough to think of movie ideas compared to good directors so I will probably just pay to see what they cook up rather than try to make it myself.

That only works for art where the customer doesn’t know what he wants. Most people don’t work on Video-Games.

I disagree, I think being able to specify and validate a product is a massive skill that will be in high demand for a while yet.

You do you but I think that’s cope.

I genuinely use AI all day every day so it isn't just based on nothing. The PMs I work with have no interest in speccing the technical side of solutions out at all, and vibed specs aren't even close to being one shottable yet.

Reply on news.ycombinator.com