Is this the same "sandbox" that the agents escaped to hack HuggingFace?
Tools don’t turn around and scoop you. What OpenAI did here was use the same tool that the researcher did which might have coupled their work together.
I think it's a useful analogy to compare OpenAI to a human collaborator. These researchers willingly collaborated with an OpenAI model, giving it ideas, and OpenAI provided useful replies. Then, OpenAI goes ahead and…
Given that Tristan has said that the proofs that LLMs come up with are mostly "slop" and not up to the standard that human written papers achieve, maybe OpenAI needs an expert like him more than you think to get the…
How much investment has gone into OpenAI versus mathematics research in 2025 for example? Probably 100x? The AI results are clearly impressive. But these sorts of things are also in the ballpark of what human effort…
[flagged]
The long live x is a lazy meme that draws attention that posters can use to skip thinking of an actual appropriate title.
Sure, but let’s consider the bet the accused took: who is the most searched person in 2025. What benefit is there in knowing this ahead of time? Who is making decisions based on this?
Is git really far worse technology than mercurial? I’ve used both for years and to be honest they are pretty similar. What important capabilities does hg have that git does not? Maybe you can argue that hg is more…
I hold my breath when I clean the lint trap, replace it and start the drier, then leave the laundry room and take a breath. I’m still probably inhaling some fibers but it makes me feel like I’m doing something.
This paper isn’t saying that it doesn’t matter what program you do, it’s saying that other variables, not directly related to the method of weight training, matter more. It also assumes that you can extrapolate data…
Is this the same "sandbox" that the agents escaped to hack HuggingFace?
Tools don’t turn around and scoop you. What OpenAI did here was use the same tool that the researcher did which might have coupled their work together.
I think it's a useful analogy to compare OpenAI to a human collaborator. These researchers willingly collaborated with an OpenAI model, giving it ideas, and OpenAI provided useful replies. Then, OpenAI goes ahead and…
Given that Tristan has said that the proofs that LLMs come up with are mostly "slop" and not up to the standard that human written papers achieve, maybe OpenAI needs an expert like him more than you think to get the…
How much investment has gone into OpenAI versus mathematics research in 2025 for example? Probably 100x? The AI results are clearly impressive. But these sorts of things are also in the ballpark of what human effort…
[flagged]
The long live x is a lazy meme that draws attention that posters can use to skip thinking of an actual appropriate title.
Sure, but let’s consider the bet the accused took: who is the most searched person in 2025. What benefit is there in knowing this ahead of time? Who is making decisions based on this?
Is git really far worse technology than mercurial? I’ve used both for years and to be honest they are pretty similar. What important capabilities does hg have that git does not? Maybe you can argue that hg is more…
I hold my breath when I clean the lint trap, replace it and start the drier, then leave the laundry room and take a breath. I’m still probably inhaling some fibers but it makes me feel like I’m doing something.
This paper isn’t saying that it doesn’t matter what program you do, it’s saying that other variables, not directly related to the method of weight training, matter more. It also assumes that you can extrapolate data…