Which surely is the highest it'll ever be! You're suggesting that the price will go down in the future? Would love to hear more about your thought process!

Are you saying we're entering a period where tech increases in price instead of decreases? I guess it depends upon time horizon, but your statement isn't very specific.

Yeah man, obviously. RTX 5090s will almost certainly increase in price over the next two years as memory shortages get worse.

Engineers generate security bugs, security researchers find them, then engineers generate the fix, all the while getting paid, raking in hundreds of thousands of dollars a year in profit per engineer.

Good ideas are expensive. Which is why he's blanket investing, to catch the winners.

But why would they agree? Coding is free (or at least $200 a month)

Or it means that this was a brand new model, they tried it and were instantly rewarded with a hit that was so interesting that several mathematicians pushed to publish the results.

Anthropic and OpenAI don't do PR this way. This is not a side project for a publicly-traded BigCo. The bulk of their valuation hinges on being first to AGI / best at AGI.

Exactly. And when one's life is threatened, what are we to do if not fight?

Fight! Fight! Fight!

Exactly. Maybe OpenAI paid mathematicians to keep this discovery quiet, then added their proof to the training data, then manipulated a second team into prompting for this question such that the model could regurgitate the solution. This would plausibly explain why the model seems so capable at doing things like refuting fundamental theorems of mathematics while in things like competitive programming, biology, and physics it's merely only in the top 99.9%.

Thank you for engaging with my comment in a kind and authentic way.

Being in the top 99.9% is not a big achievement.

I know - it's pathetic and embarrassing. If there's billions of people on this planet then being in the top 99.9% means that you're just as unique as a person who decides to move to New York City. Who cares?

You are believing a very unlikely scenario. I think the reason is that you have been convinced of a claim which is unlikely and indeed not true. That is: >the model seems so capable at doing things like refuting fundamental theorems of mathematics

That is not true and a complete misrepresentation of recent progress of AI in math. It is therefore not necessary to believe the conspiracy theory you described in order to explain recent progress of AI in math.

Its almost certainly a scam and you're falling for it.

Down voted by the pro AI bot swarm! Financed by big tech!

Exactly. I would rather we let these discoveries stay hidden for a while longer such that human ingenuity may untangle them from the coils of reality. A machine? A mechanical man? Deins to produce something as pure as mathematics without the divine fervor of the ineffable spirit of Man?! It's just not what God wants.

Human ingenuity is untangling perhaps the deepest question of all- what is the essence of Reason and the intellect that so privileges man? I don't know if it's what God wants, but it's certainly getting close to some existentially fundamental questions.

While many seem to be anxious or pessimistic about the future of intellectual/artistic pursuits (understandable although I disagree), I do find the utter lack of curiosity or interest in the incredible machinery that is causing all the fuss to be striking.

One has to be in a secure enough position in life to be able to manifest such curiosity to begin with. On the contrary many people feel threatened.

I can't tell if this is satire.

I had the exact same thought. It depends entirely on what voice you read it in, I suppose.

Haha, now I do think it is more likely satire. I don't think HN has many people who would post like this sincerely.

Seriously. Why don't other companies think of this? All Anthropic had to do was make GPT 4.6 use about 15% more tokens and voila! 80x growth YoY

You read it yourself :)

If you and the AI agree on the translation of the problem, and lean agrees with the solution, then you're done.

This is why I never got into open source in the first place. I was worried that new programmers might read my code, learn how to program, and then start independently contributing the the projects I know and love - significantly devaluing my contributions.