@FangYi11101@EliCartan@alz_zyd_ Ya the IQ proxy thing is the main deal. But with AI companies it’s a bind. They use their AIs performance on Olympiads and research math as IQ proxy, and use the same proxies to hire too. But if they are equivalent they should be able to replace their staff
@nihilunbounded lol most mathematicians won’t survive a day doing consulting, banking <insert elite white collar profession>. Most of these jobs have nothing to do with cognition and everything to do with politics.
@littmath@emollick Not using Lean doesn’t mean not using verifiable rewards. They just end up using frontiermath type questions (which have numeric answers) in their RL post training
@littmath@goldstein_aa@emollick More that they use numeric answers computed through proof based reasoning of the type seen in frontiermath tier1-4 questions
@thepanta82@rahulj51 I don’t think this really matters in an agent led world as long as business folks are happy. Slop can pile on top of over engineered unreadable slop but as long as only agents have to deal with it who cares? Zoom out and look at business outcomes that’s it
@dec3mb6r@mean_field_zane Wouldn’t verifiable technical work get destroyed in those fields and only the political, “stakeholder alignment” MBA style work will remain?
@predict_addict Most people learn about determinants in a cookbook way. Most Schools don’t have teachers who can give an axiomatic treatment of the determinant
@learning_pt Effort doesn’t always translate to outcomes. CAT requires 99.5+ along with stellar school grades. I don’t think it allows folks who fucked up to reset. And the US path is now closing. Cash cow masters are not placing as well as they used to
@Puyangan5 How relevant PPP is depends on how close your consumption baskets share of tradeables is to the national consumption baskets share of tradeables. People who earn more consume “global” goods and services so PPP is less relevant to them
@learning_pt You basically can only make a career in India at a handful of colleges since it becomes a very deterministic trajectory starting from campus placements and then company brand