Comment by tomaskafka
16 hours ago
That’s what we are doing with nature, seas (look up strip mining there, it’s a horrible practice), and now the industrial harvestors are strip mining problem spaces. How do we like our own medicine?
16 hours ago
That’s what we are doing with nature, seas (look up strip mining there, it’s a horrible practice), and now the industrial harvestors are strip mining problem spaces. How do we like our own medicine?
Developing solutions to mathematical problems generally leads to improvements in quality and quantity of life at roughly the speed they percolate from the ivory tower down to the shop floor. So "how do we like it" is probably going to be "we like it a lot, this is awesome".
Every company is about to have a staff Ops Researcher who has a better grasp of the underlying math and theory than any university professor. That is an unambiguous win.
I see no reason why every company would have a staff ops researcher, or why such a position would have a better grasp of underlying math beyond the narrow slice that directly benefits the company. Why do you think that would happen?
> virtually none of this stuff is possible with technology any normal citizen has access to.
Not sure about the unambiguous win. Are we entering the age in which mathematics is industry-dominated?
1) Any university professor can spend their 24 years on a problem with little progress. 2) company has sudden interests. 3) industrial resources brute force the Lean proof. 4) Max PR for AI company 5) professors are left to rewrite the AI Lean slop into real human-readable math? {disclaimer non-math university professor}
No one is going to get tenure by spending 24 years on a problem with no results. The profs who have that much free time on their hands are already in the later stages of their careers with records of impactful results. By that time, a problem like that is more of a curiosity than sometimes expected to have broad concrete impact.
I'm no mathematician, but (1) seems like a bad situation to be in. I can't speak to the practical usefulness of potential mathematical solutions like proposed here, but it seems useless to have an individual professionally spend 24 years on a single problem only to make little progress and eventually retire so the next person can stare at it.
That's how most other fields progressed most of the time, isn't it?
>> virtually none of this stuff is possible with technology any normal citizen has access to.
Initially, yes. Long term, however? Perhaps still yes.
> 5) professors are left to rewrite the AI Lean slop into real human-readable math?
6) AI writes the proof into something easier to follow than a PDF document.
Hmm. Oh shit.
Who is "we" in that sentence? Why are you not speaking for yourself?