data_maan

It always amazes me how a random dump of someone who read the first 40 pages of PM attracts dozens comments on HN.

This really must be a very math-starved community of people who wanted to learn math but never quite could.

Makes me wonder what the value of a human on a PhD course is

Another famous dude dumping his thoughts on HN who is gulping it up like an addict.

Add this to the long list of names like Terence Tao, and others who seem to be intellectually incontinent lately in the sense that one cannot navigate this space anymore without encountering their thoughts

Aside from the sad life events, little information is shares about his "system", the thing HN is interested in.

Is this more than a harness built on top of a SOTA commercial LLM?

Was this in the GPT2 paper?

If LLMs lie as much as the OP claims in the article, why can they then solve Olympiad math problems they never saw during training, consistently?

There's the aimoprize.com on Kaggle for example that shows this

> built with American capital and mostly American minds.

I would say "built with American agency and commercial spirit", not minds.

Most of the things that we have were first built elsewhere (Germany being a prime supplier here with the mp3 or the Zuse), but turning them commercial was the input that came from America.

To be fair, Iran is not pretentious either, killing a few thousand people because they dared to protest.

There are no good guys in this conflict.

A model to whose internals we don't have access solved a problem we didn't knew was in their datasets. Great, I'm impressed

Strategic? Yes.

Moral? Hm. From a moral POV this would be about who has the right to terrorize the Iranian population: the Iranian government or the US/Israel government.

Opinions differ: hobby coders love it, but domain expert secretly despise it because it narrows the gap between the skills they spent years honing and the average Claude, I mean Joe, that just uses this mental exoskeleton.

> The people getting pushed out are the intermediates and seniors who aren't high performers.

Also the people that can't market themselves. There are very average programmers that have a large following on X that seem to do very well.