← Back to context

Comment by segmondy

7 hours ago

if you want to do math proofs use AI built for proof

https://huggingface.co/deepseek-ai/DeepSeek-Math-V2

https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B

0 comments

segmondy

Reply

No comments yet

Contribute on Hacker News ↗