DeepSeek-Prover-V2
github.com
DeepSeek-Prover-V2
1–10 of 83 posts
Re: DeepSeek-Prover-V2
#2related: I imagine in the future we might several "expert" LLM's and a wrapper can delegate tasks as needed as if it were a "tool". That way we can have segregation of expertise - each individual model can excel at one single thing.
A prover model might be used as a tool in the coming future.
Re: DeepSeek-Prover-V2
#3related: I imagine in the future we might several "expert" LLM's and a wrapper can delegate tasks as needed as if it were a "tool". That way we can have segregation of expertise - each individual model can excel at one single thing. A prover model might be used as a tool in the coming future.
> related: I imagine in the future we might several "expert" LLM's and a wrapper can delegate tasks as needed as if it were a "tool". That way we can have segregation of expertise - each individual model can excel at one single thing.
In the future? I'm pretty sure people do that already.
Re: DeepSeek-Prover-V2
#4related: I imagine in the future we might several "expert" LLM's and a wrapper can delegate tasks as needed as if it were a "tool". That way we can have segregation of expertise - each individual model can excel at one single thing. A prover model might be used as a tool in the coming future.
[deleted]
Re: DeepSeek-Prover-V2
#5related: I imagine in the future we might several "expert" LLM's and a wrapper can delegate tasks as needed as if it were a "tool". That way we can have segregation of expertise - each individual model can excel at one single thing. A prover model might be used as a tool in the coming future.
> related: I imagine in the future we might several "expert" LLM's and a wrapper can delegate tasks as needed as if it were a "tool". That way we can have segregation of expertise - each individual model can excel at one single thing. In the future? I'm pretty sure people do that already.
It's crudely done though.
Re: DeepSeek-Prover-V2
#6related: I imagine in the future we might several "expert" LLM's and a wrapper can delegate tasks as needed as if it were a "tool". That way we can have segregation of expertise - each individual model can excel at one single thing. A prover model might be used as a tool in the coming future.
For a concrete example today, see https://openrouter.ai/openrouter/auto
Re: DeepSeek-Prover-V2
#7related: I imagine in the future we might several "expert" LLM's and a wrapper can delegate tasks as needed as if it were a "tool". That way we can have segregation of expertise - each individual model can excel at one single thing. A prover model might be used as a tool in the coming future.
The No Free Lunch Theorem implies that something like this is inevitable https://en.wikipedia.org/wiki/No_free_lunch_in_search_and_op...
Re: DeepSeek-Prover-V2
#8related: I imagine in the future we might several "expert" LLM's and a wrapper can delegate tasks as needed as if it were a "tool". That way we can have segregation of expertise - each individual model can excel at one single thing. A prover model might be used as a tool in the coming future.
> related: I imagine in the future we might several "expert" LLM's and a wrapper can delegate tasks as needed as if it were a "tool". That way we can have segregation of expertise - each individual model can excel at one single thing. In the future? I'm pretty sure people do that already.
Mistrals model is a mixture-of-experts model
Re: DeepSeek-Prover-V2
#9related: I imagine in the future we might several "expert" LLM's and a wrapper can delegate tasks as needed as if it were a "tool". That way we can have segregation of expertise - each individual model can excel at one single thing. A prover model might be used as a tool in the coming future.
Is that not what MoE models already do?
Re: DeepSeek-Prover-V2
#10[deleted]