mrbungie

6 ms·

1.
by mrbungie 5d ago
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.
2.
by mrbungie 6d ago
> 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.
3.
by mrbungie 8d ago
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.
4.
by mrbungie 9d ago
I mean, a disaster could happen even with properly human-aligned AI. In a "AI makes the shots" world with undecipherable and fast feedback loops, which is the one we are seemingly heading towards, a string of short-sighted decisio
5.
by mrbungie 9d ago
You are not seriously suggesting that nature and AI-accelerated gain-of-function research are similar in regards to risks, are you?
6.
by mrbungie 10d ago
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 Buckmaster/Alpöge were
7.
by mrbungie 10d ago
Hopefully. We'll need to wait until mathematicians confirm how easy it is to digest whatever GPT did.
8.
by mrbungie 10d ago
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.
9.
by mrbungie 10d ago
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 something more readable
10.
by mrbungie 10d ago
In what world a tweet and a screenshot of a private convo are evidence of good faith? Plain sociopathic behavior.
11.
by mrbungie 10d ago
We are not in an everything-has-an-API world yet, and it'll for sure take some time to get there.
12.
by mrbungie 10d ago
> 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 wanted to achieve s
13.
by mrbungie 10d ago
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.
14.
by mrbungie 10d ago
Of course AI was involved, you'd expect most mathematicians and researchers to use AI nowadays. This drama is about AI achieving impressive outcomes with little to no human intervention, as that would be signalling AGI.
15.
by mrbungie 10d ago
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 way that makes y
16.
by mrbungie 2mo ago
Long-term, sure. Short-term it is going to cause a lot of suffering.
17.
by mrbungie 3mo ago
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 obviously may end
18.
by mrbungie 3mo ago
From what I gather from GPs upper post: Technical debt, skill atrophy, delusions of grandeur about one's own abilities / psychosis.
19.
by mrbungie 3mo ago
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 with the whole i
20.
by mrbungie 3mo ago
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.
21.
by mrbungie 3mo ago
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 greater, but crypto/blo
22.
by mrbungie 3mo ago
How much money does that revenue cost though? If I had to steel-man GPs argument I'd ask for profits rather than revenues.
23.
by mrbungie 3mo ago
That + when retail investors are the ones holding the bag.
24.
by mrbungie 4mo ago
MBAs are simply unable to learn this.
25.
by mrbungie 4mo ago
It really depends on their environment. Not every city is a car-first city.
26.
by mrbungie 4mo ago
AI as a tech is fine. But disliking it and the social/economic effects around it is fine too, people should be allowed to feel however they want to feel about certain techs and situations. To recommend people to suck it up is not the a
27.
by mrbungie 4mo ago
> I know artificial analysis quite well as the gold standard in llm evals. I also know them, but it took me a while to realise you were publishing their data in that table. I don't think it was clear. > The age is important becau
28.
by mrbungie 4mo ago
It is kind of noisy because the release recency, which is what your "age" column actually represents, is not important data for the comparison you are trying to make. Also what message we should get from that table is not really o
29.
by mrbungie 4mo ago
There is now an Antigravity CLI which will replace Gemini CLI. Gemini CLI is going to be EOLd by June 18th afaik. Antigravity CLI and GUI share the same agent harness, so it might do the same task. Source: https://developers.goog
30.
by mrbungie 4mo ago
He is saying that while holding Worldcoin as THE solution behind his back. He hopes to show it when the time comes.

More ›