For every open millennium problem, OpenAI has made the biggest breakthrough toward a solution in decades. [^1] How much of this progress do you honestly think is explained by scooping unreleased work? Feels strange to…
Ha I never see any of these get the props they deserve, respect
Here's what happened: 1. I responded to the quote and thread tokepi posted. I stand by that response—the supposed "prompt injection" was a trivial misunderstanding which Meta had already publicly clarified. 2. You…
That's a different argument than ijustlovemath is making I agree with Jtarii that it's very unlikely a Lean bug is critical to most of these proofs. But we're in strange times, so I agree wtih the sentiment that we…
Repeating the above comment: most of the statements were already formalized prior OpenAI's work. So no, the statements were not "reward hacked".
No, they're not claiming that. No one is disputing that the Lean formaization of Navier-Stokes is correct, so we should have high confidence that the generated Lean proof is valid. The authors are claiming that the Lean…
Ha perhaps I misread your excitement as being upset, glad to hear! Nice Aurelius quote, I'll remember that one
I think at this point we're both just upset feeling like we've wasted each other's time. Sorry this wasn't more productive
I've read through those comments and I see more interesting concerns being raised ("interesting" as in "not completely confused for trivial reasons", I'm not conceding anything). Like I mentioned I don't work on Muse,…
I remembered what you said and I genuinely don't understand what I mischaracterized. TBH I saw none of those comments by scrolling forward or backwards from the original link. Now it turns out I supposed to be checking…
The things I see beneath that in the thread a) More being surprised the muse will just provide internal details (which again, as intended) b) the bash scripts are ugly (okay? I don't think that's what we're arguing…
> Not prior beliefs. From prior actions. I think you're saying that prior actions justify the beliefs you hold. Fair enough, I'll concede that for the sake of argument. My above comment still stands. Even if your…
> So we should judge each piece of evidence in a vacuum? You're free to believe whatever you want about Meta. But no, you shouldn't point to non-evidence, interpret it through the lens of your prior beliefs, and then…
Totally fair if that's just a public stratch pad (which happens to make several specific, unsubstantiated claims). Not hating on that guy. But if someone posts the thread with no other context than "check this out",…
NGL I understand the above comment, but I'm not sure what you're implying. So I guess no I don't understand
I understand what is being implied. I'm saying that the provided example is poor evidence of what's being implied. We all know Meta can already track things like certain purchases. A skill file telling AI how to format…
> What's being implied is that your nefarious company is building another product that exists solely to suck up people's attention and time inorder to build a profile to sell them garbage that they don't need and use…
There's no "prompt injection" like the OP claims. You can just ask Muse for all the info for its dedicated VM, and Muse will tell you. Meta has confirmed this it intended behavior. And idk what's even being implied by…
I also have not seen this, the checkbox has stayed off for me.
Builder pattern isn't only used in Rust, but I agree it's hideous to use in Python.
Ya if anything the real take away is that our satellites are very impressive!
It is very fast, Mexico City has serious problems. My point is that "can be seen from space" is an awful way to communicate that. It provides no useful intuition for the scale of "10 inches per year".
Referring to "25 centimeters per year" as "so fast it can be seen from space" is so funny to me. We have very good satellites! Lots of things can be seen from space. "can be seen from space" is an awful way to provide…
Idk why it's hard to believe another company would try to outbid. Discovering good locations for data centers is genuinely a difficult problem. They're relatively scarce. Bidding wars seem completely plausible.
I broadly agree with the article. The described pattern is standard in Meta. This, along with the infrastructure and tooling to support it, was the single largest "devx quality of life improvement" in my experience…
For every open millennium problem, OpenAI has made the biggest breakthrough toward a solution in decades. [^1] How much of this progress do you honestly think is explained by scooping unreleased work? Feels strange to…
Ha I never see any of these get the props they deserve, respect
Here's what happened: 1. I responded to the quote and thread tokepi posted. I stand by that response—the supposed "prompt injection" was a trivial misunderstanding which Meta had already publicly clarified. 2. You…
That's a different argument than ijustlovemath is making I agree with Jtarii that it's very unlikely a Lean bug is critical to most of these proofs. But we're in strange times, so I agree wtih the sentiment that we…
Repeating the above comment: most of the statements were already formalized prior OpenAI's work. So no, the statements were not "reward hacked".
No, they're not claiming that. No one is disputing that the Lean formaization of Navier-Stokes is correct, so we should have high confidence that the generated Lean proof is valid. The authors are claiming that the Lean…
Ha perhaps I misread your excitement as being upset, glad to hear! Nice Aurelius quote, I'll remember that one
I think at this point we're both just upset feeling like we've wasted each other's time. Sorry this wasn't more productive
I've read through those comments and I see more interesting concerns being raised ("interesting" as in "not completely confused for trivial reasons", I'm not conceding anything). Like I mentioned I don't work on Muse,…
I remembered what you said and I genuinely don't understand what I mischaracterized. TBH I saw none of those comments by scrolling forward or backwards from the original link. Now it turns out I supposed to be checking…
The things I see beneath that in the thread a) More being surprised the muse will just provide internal details (which again, as intended) b) the bash scripts are ugly (okay? I don't think that's what we're arguing…
> Not prior beliefs. From prior actions. I think you're saying that prior actions justify the beliefs you hold. Fair enough, I'll concede that for the sake of argument. My above comment still stands. Even if your…
> So we should judge each piece of evidence in a vacuum? You're free to believe whatever you want about Meta. But no, you shouldn't point to non-evidence, interpret it through the lens of your prior beliefs, and then…
Totally fair if that's just a public stratch pad (which happens to make several specific, unsubstantiated claims). Not hating on that guy. But if someone posts the thread with no other context than "check this out",…
NGL I understand the above comment, but I'm not sure what you're implying. So I guess no I don't understand
I understand what is being implied. I'm saying that the provided example is poor evidence of what's being implied. We all know Meta can already track things like certain purchases. A skill file telling AI how to format…
> What's being implied is that your nefarious company is building another product that exists solely to suck up people's attention and time inorder to build a profile to sell them garbage that they don't need and use…
There's no "prompt injection" like the OP claims. You can just ask Muse for all the info for its dedicated VM, and Muse will tell you. Meta has confirmed this it intended behavior. And idk what's even being implied by…
I also have not seen this, the checkbox has stayed off for me.
Builder pattern isn't only used in Rust, but I agree it's hideous to use in Python.
Ya if anything the real take away is that our satellites are very impressive!
It is very fast, Mexico City has serious problems. My point is that "can be seen from space" is an awful way to communicate that. It provides no useful intuition for the scale of "10 inches per year".
Referring to "25 centimeters per year" as "so fast it can be seen from space" is so funny to me. We have very good satellites! Lots of things can be seen from space. "can be seen from space" is an awful way to provide…
Idk why it's hard to believe another company would try to outbid. Discovering good locations for data centers is genuinely a difficult problem. They're relatively scarce. Bidding wars seem completely plausible.
I broadly agree with the article. The described pattern is standard in Meta. This, along with the infrastructure and tooling to support it, was the single largest "devx quality of life improvement" in my experience…