Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Alifatisk
4 days ago
|
parent
|
context
|
favorite
| on:
DeepSeek-Prover-V2
Is this model hosted at Deepseek chat too? Couldn’t find it yesterday and I prefer not to selfhost because lack of good hardware.
rfoo
4 days ago
[–]
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.
reply
Alifatisk
4 days ago
|
parent
[–]
Ohhh
reply
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
