Reposted by Berkay Anahtarcı
DeepSeek is shipping a theorem prover (automate math proofs)
no paper yet, but word is they used MCTS, which would be surprising bc one of my big takeaways from the R1 paper was that MCTS didn’t work and RL alone was enough
huggingface.co/deepseek-ai/...
huggingface.co
deepseek-ai/DeepSeek-Prover-V2-671B · Hugging Face
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
