> The cold-start training procedure begins by prompting DeepSeek-V3 to decompose complex problems into a series of subgoals It feels pretty intuitive to me that the ability for an LLM to break a complex problem down into smaller, more easily solvable pieces will unlock the next level of complexity. This pattern feels like a technique often taught to junior engineers- how to break up a multi-week project into bitesize…
It's actually pretty hilarious how far into detail they can go. For example, I made a bot that you could give it a problem statement, and then it would return an array of steps to accomplish it. Then you could take the steps, and click on them to break them down and add them to the list. If you just kept clicking you would get to excruciating detail. For example taking out the trash can become over ~70 individual ste…
DeepSeek-Prover-V2
71–80 of 83 posts
Re: DeepSeek-Prover-V2
#72Earlier quoted context omitted.
Imo current models can already break things up into bite sized pieces. The limiter I've seen is twofold 1) Maintaining context of the overall project and goals while working in the weeds on a subtask of a task on an epic (so to speak) both in terms of what has been accomplished already and what still needs to be accomplished and 2) Getting an agentic coding tool which can actually handle the scale of doing 50 small p…
> Maintaining context of the overall project and goals while working in the weeds on a subtask of a task on an epic (so to speak) both in terms of what has been accomplished already and what still needs to be accomplished This is a struggle for every human I’ve ever worked with
This is probably the biggest difference between people who wrote code and people that should never write code. Some people just can't write several connected progtam file without logical conflict. It's almost like their brain context is only capable for hold one file.
Re: DeepSeek-Prover-V2
#73Earlier quoted context omitted.
It's actually pretty hilarious how far into detail they can go. For example, I made a bot that you could give it a problem statement, and then it would return an array of steps to accomplish it. Then you could take the steps, and click on them to break them down and add them to the list. If you just kept clicking you would get to excruciating detail. For example taking out the trash can become over ~70 individual ste…
This used to be part of one of the intro to engineering courses at my school - write an XX page document describing how to make a peanut butter and jelly sandwich.
[deleted]
Re: DeepSeek-Prover-V2
#74Earlier quoted context omitted.
This used to be part of one of the intro to engineering courses at my school - write an XX page document describing how to make a peanut butter and jelly sandwich.
This was a homework assignment in my second grade class! The next day we had to follow our instructions exactly in class to make the sandwich which was hilarious. A formative experience for me!
A dad trying this out on his kids:
Re: DeepSeek-Prover-V2
#75> The cold-start training procedure begins by prompting DeepSeek-V3 to decompose complex problems into a series of subgoals It feels pretty intuitive to me that the ability for an LLM to break a complex problem down into smaller, more easily solvable pieces will unlock the next level of complexity. This pattern feels like a technique often taught to junior engineers- how to break up a multi-week project into bitesize…
It's actually pretty hilarious how far into detail they can go. For example, I made a bot that you could give it a problem statement, and then it would return an array of steps to accomplish it. Then you could take the steps, and click on them to break them down and add them to the list. If you just kept clicking you would get to excruciating detail. For example taking out the trash can become over ~70 individual ste…
Is bot something I can try?
Re: DeepSeek-Prover-V2
#76Is this model hosted at Deepseek chat too? Couldn’t find it yesterday and I prefer not to selfhost because lack of good hardware.
Re: DeepSeek-Prover-V2
#77Earlier quoted context omitted.
Imo current models can already break things up into bite sized pieces. The limiter I've seen is twofold 1) Maintaining context of the overall project and goals while working in the weeds on a subtask of a task on an epic (so to speak) both in terms of what has been accomplished already and what still needs to be accomplished and 2) Getting an agentic coding tool which can actually handle the scale of doing 50 small p…
> Maintaining context of the overall project and goals while working in the weeds on a subtask of a task on an epic (so to speak) both in terms of what has been accomplished already and what still needs to be accomplished This is a struggle for every human I’ve ever worked with
True, but if AI only gets as useful as an average developer, it isn’t that useful.
Re: DeepSeek-Prover-V2
#78Is this model hosted at Deepseek chat too? Couldn’t find it yesterday and I prefer not to selfhost because lack of good hardware.
It's not something you should talk to. In concept it's more like AlphaProof, just with some of their research artifacts (and probably a paper / tech report later) shared with the community.
Re: DeepSeek-Prover-V2
#79Earlier quoted context omitted.
It's actually pretty hilarious how far into detail they can go. For example, I made a bot that you could give it a problem statement, and then it would return an array of steps to accomplish it. Then you could take the steps, and click on them to break them down and add them to the list. If you just kept clicking you would get to excruciating detail. For example taking out the trash can become over ~70 individual ste…
This used to be part of one of the intro to engineering courses at my school - write an XX page document describing how to make a peanut butter and jelly sandwich.
I've been using that as a test of new LLMs - and do it in a specific style.
Re: DeepSeek-Prover-V2
#80[flagged]