Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on An analysis of DeepSeek's R1-Zero and R1. Parent comment
Ask a dozen experts to decide what that boat needs to fit your need.
That is the specification problem, add on the frame problem and it becomes intractable.
Add in domain specific terms and conflicts and it becomes even more difficult.
Any nontrivial semantic properties, those without a clear T/F are undecidable.
OpenAI with have to do what they can, but it is not trivial or solvable.
It doesn't matter how smart they are, generalized solutions are hard.
There are no comments on this comment yet.
Ask a dozen experts to decide what that boat needs to fit your need.
That is the specification problem, add on the frame problem and it becomes intractable.
Add in domain specific terms and conflicts and it becomes even more difficult.
Any nontrivial semantic properties, those without a clear T/F are undecidable.
OpenAI with have to do what they can, but it is not trivial or solvable.
It doesn't matter how smart they are, generalized solutions are hard.