This is true, but I don't want to go into research academia. If I could do whatever I wanted, I would want to teach at a college level.
This is what I'm most afraid of. I am not exactly dumb, but I really value having a work-life balance and many of my PhD peers are utterly cracked in ways I am not. I am concerned this will squeeze me out of a job.
I definitely have no dreams of doing research. If I could do anything, I would want to teach, but if that can't happen, I am worried that my skills won't be valuable in industry.
I'm a PhD student in CS. While I think these results are rather cool, it makes me terrified that the skills developed by the PhD will ultimately be worthless. I'm not quite sure what to do. Any thoughts from people in…
The way that this is marketed at children is nothing short of evil.
I honestly have no idea how I feel about the capabilities of these models. The other day I asked Fable to write a fairly simple class that I had very well scoped in my mind. In my head, there was a very clear and…
I've been thinking about this a lot lately. I feel very averse to consuming AI media, but it's not super obvious to me why. In some sense, I agree with what you're saying, but in reality no pixel art of a city I've…
There's a lot of AI on the author's github, so I would assume so. I have no idea how I feel about these sorts of things. On the one hand I think it's objectively a super neat idea, but it makes me sad that a human…
If you wanted to implement this in real life, who plays the role of Alice?
> Blake embodies the “bits to atoms” shift underway in America. Before founding Boom, he was designing internet coupons for Groupon. What is this? I can't find easily the meaning of "bits to atoms." Is this meaning that…
Ok I guess I could have told you that. What I really meant is that in the future where LLMs are doing new math (which I'm skeptical of, but I digress) I would not trust any of it unless it was formally verified.
It's cool, but I genuinely cannot fathom why they are targeting natural language proofs instead of a proof assistant.
Does anyone have a similar article with more detail? I don't quite want to read the datasheet of your favorite microprocessor, but I would like a decent amount more detail than what's provided. Especially before…
Rice's theorem is about decidability, not difficulty. But you are right that assuming P != NP there is no algorithm for efficient SAT (and other constraint) solving.
I'm surprised to hear this. Modern SAT solvers can easily handle many problems with hundreds of thousands of variables and clauses. Of course, there are adversarial problems where CDCL solvers fail, but I would be…
I'm fascinated that Epic Games are the authors. Does anyone know what their motivation for this research would be?
This is true, but I don't want to go into research academia. If I could do whatever I wanted, I would want to teach at a college level.
This is what I'm most afraid of. I am not exactly dumb, but I really value having a work-life balance and many of my PhD peers are utterly cracked in ways I am not. I am concerned this will squeeze me out of a job.
I definitely have no dreams of doing research. If I could do anything, I would want to teach, but if that can't happen, I am worried that my skills won't be valuable in industry.
I'm a PhD student in CS. While I think these results are rather cool, it makes me terrified that the skills developed by the PhD will ultimately be worthless. I'm not quite sure what to do. Any thoughts from people in…
The way that this is marketed at children is nothing short of evil.
I honestly have no idea how I feel about the capabilities of these models. The other day I asked Fable to write a fairly simple class that I had very well scoped in my mind. In my head, there was a very clear and…
I've been thinking about this a lot lately. I feel very averse to consuming AI media, but it's not super obvious to me why. In some sense, I agree with what you're saying, but in reality no pixel art of a city I've…
There's a lot of AI on the author's github, so I would assume so. I have no idea how I feel about these sorts of things. On the one hand I think it's objectively a super neat idea, but it makes me sad that a human…
If you wanted to implement this in real life, who plays the role of Alice?
> Blake embodies the “bits to atoms” shift underway in America. Before founding Boom, he was designing internet coupons for Groupon. What is this? I can't find easily the meaning of "bits to atoms." Is this meaning that…
Ok I guess I could have told you that. What I really meant is that in the future where LLMs are doing new math (which I'm skeptical of, but I digress) I would not trust any of it unless it was formally verified.
It's cool, but I genuinely cannot fathom why they are targeting natural language proofs instead of a proof assistant.
Does anyone have a similar article with more detail? I don't quite want to read the datasheet of your favorite microprocessor, but I would like a decent amount more detail than what's provided. Especially before…
Rice's theorem is about decidability, not difficulty. But you are right that assuming P != NP there is no algorithm for efficient SAT (and other constraint) solving.
I'm surprised to hear this. Modern SAT solvers can easily handle many problems with hundreds of thousands of variables and clauses. Of course, there are adversarial problems where CDCL solvers fail, but I would be…
I'm fascinated that Epic Games are the authors. Does anyone know what their motivation for this research would be?