It is an extraordinary claim, it is a millenium prize problem after all. We don't even know, even if there was no copying, how much human involvement there was in the result.
> Wall street is less forgiving. We've seen multiple times how "Wall street" is an exit for insiders, with retail investors left holding the bag.
Extraordinary claims require extraordinary evidence. An article post that wouldn't even amount to a white paper + the LEAN proof is not evidence of how they got to produce it.
I mean, a disaster could happen even with properly human-aligned AI. In a "AI makes the shots" world with undecipherable feedback loops, which is the one we are seemingly heading towards, a string of short-sighted…
You are not seriously suggesting that nature and AI-accelerated gain-of-function research are similar in regards to risks, are you?
They represent different AI usage patterns. OpenAI wants everyone to believe that it was done with a practically autonomous network of thousands of agents with little to no human intervention for 88 hours, while the…
Hopefully. We'll need to wait until mathematicians confirm how easy it is to digest whatever GPT did.
For sure, but this was supposedly ~18 million dollars of compute, afaik 100 pages paper / lean proof and only god knows how many bytes of chat interactions + thought traces. Scale matters.
Probably an AI-written Lean proof is very different to how a human would write it, and some may say it's more like mathy neuralese. For sure it works but it is not human-friendly and needs to be transformed into…
In what world a tweet and a screenshot of a private convo are evidence of good faith? Plain sociopathic behavior.
We are not in an everything-has-an-API world yet, and it'll for sure take some time to get there.
> 1) The article is written in a way that states clearly they threw a lot of compute at the problem. In api cost millions of dollars. Did I say otherwise? > 2) Millenium Problems have been the goal every AI company…
Of course, as any drama, it has been developing into a lot more but the main motivation for OpenAI has been about winning that battle.
Of course AI was involved. All this is about using AI with little to no guidance in high-stakes/big-outcome situations, as that would be signalling AGI.
They are highly capable, no doubt about that, but: 1) We don't really know how they arrived to this result except that they had a lead and that they threw millions of compute at the problem. The article is written in a…
Long-term, sure. Short-term it is going to cause a lot of suffering.
Just add a --verbose flag that shows the stacktrace when there is an error. Then add a footer message when an error appears in non-verbose mode that invites the user/agent to use --verbose to get the full picture. It…
From what I gather from GPs upper post: Technical debt, skill atrophy, delusions of grandeur about one's own abilities / psychosis.
You don't need SOTA-level LLMs to create value with AI. Hell, you can build good solutions with a simple small finetuned models. > When models are good, expectations are adjusted accordingly to deliver things on par…
That's convenient accounting. The reality is that they can't stop training since they risk losing customers if they do so. So they shouldn't factor it out of profitability analysis.
Ah, come on. I remember the scalping of GPUs due to crypto-mining and then all the things Nvidia did to market segment crypto out of the regular (gaming) consumer space. AI is much worse because the scale is OOM…
How much money does that revenue cost though? If I had to steel-man GPs argument I'd ask for profits rather than revenues.
That + when retail investors are the ones holding the bag.
MBAs are simply unable to learn this.
It really depends on their environment. Not every city is a car-first city.
It is an extraordinary claim, it is a millenium prize problem after all. We don't even know, even if there was no copying, how much human involvement there was in the result.
> Wall street is less forgiving. We've seen multiple times how "Wall street" is an exit for insiders, with retail investors left holding the bag.
Extraordinary claims require extraordinary evidence. An article post that wouldn't even amount to a white paper + the LEAN proof is not evidence of how they got to produce it.
I mean, a disaster could happen even with properly human-aligned AI. In a "AI makes the shots" world with undecipherable feedback loops, which is the one we are seemingly heading towards, a string of short-sighted…
You are not seriously suggesting that nature and AI-accelerated gain-of-function research are similar in regards to risks, are you?
They represent different AI usage patterns. OpenAI wants everyone to believe that it was done with a practically autonomous network of thousands of agents with little to no human intervention for 88 hours, while the…
Hopefully. We'll need to wait until mathematicians confirm how easy it is to digest whatever GPT did.
For sure, but this was supposedly ~18 million dollars of compute, afaik 100 pages paper / lean proof and only god knows how many bytes of chat interactions + thought traces. Scale matters.
Probably an AI-written Lean proof is very different to how a human would write it, and some may say it's more like mathy neuralese. For sure it works but it is not human-friendly and needs to be transformed into…
In what world a tweet and a screenshot of a private convo are evidence of good faith? Plain sociopathic behavior.
We are not in an everything-has-an-API world yet, and it'll for sure take some time to get there.
> 1) The article is written in a way that states clearly they threw a lot of compute at the problem. In api cost millions of dollars. Did I say otherwise? > 2) Millenium Problems have been the goal every AI company…
Of course, as any drama, it has been developing into a lot more but the main motivation for OpenAI has been about winning that battle.
Of course AI was involved. All this is about using AI with little to no guidance in high-stakes/big-outcome situations, as that would be signalling AGI.
They are highly capable, no doubt about that, but: 1) We don't really know how they arrived to this result except that they had a lead and that they threw millions of compute at the problem. The article is written in a…
Long-term, sure. Short-term it is going to cause a lot of suffering.
Just add a --verbose flag that shows the stacktrace when there is an error. Then add a footer message when an error appears in non-verbose mode that invites the user/agent to use --verbose to get the full picture. It…
From what I gather from GPs upper post: Technical debt, skill atrophy, delusions of grandeur about one's own abilities / psychosis.
You don't need SOTA-level LLMs to create value with AI. Hell, you can build good solutions with a simple small finetuned models. > When models are good, expectations are adjusted accordingly to deliver things on par…
That's convenient accounting. The reality is that they can't stop training since they risk losing customers if they do so. So they shouldn't factor it out of profitability analysis.
Ah, come on. I remember the scalping of GPUs due to crypto-mining and then all the things Nvidia did to market segment crypto out of the regular (gaming) consumer space. AI is much worse because the scale is OOM…
How much money does that revenue cost though? If I had to steel-man GPs argument I'd ask for profits rather than revenues.
That + when retail investors are the ones holding the bag.
MBAs are simply unable to learn this.
It really depends on their environment. Not every city is a car-first city.