alt Hacker NewsWe'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.'
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.'
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.