Live data from Hacker News

DeepSeek-Prover-V2

github.com

81–83 of 83 posts

Re: DeepSeek-Prover-V2

#81
post #78

Is 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.

Ohhh

Re: DeepSeek-Prover-V2

#82

Earlier quoted context omitted.

This is pretty interesting. Do you have more information about this?

I’m pretty sure the parent comment is referring to capacity constraints. When the Americans come online in the morning, Claude frequently can’t keep up with demand and error messages saying the system is at capacity are common.

I used Openrouter for Claude and Deepseek which chooses between alternative hosts for a given model. I excluded Deepseek provider as its underperforming.

https://openrouter.ai/deepseek/deepseek-chat-v3-0324

Post reply on HN