InfoQ<p>Introducing <a href="https://techhub.social/tags/DeepSeekProverV2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DeepSeekProverV2</span></a> - a new <a href="https://techhub.social/tags/opensource" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>opensource</span></a> <a href="https://techhub.social/tags/LLM" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLM</span></a> designed for formal theorem proving in Lean 4.</p><p>The model builds on a recursive <a href="https://techhub.social/tags/TheoremProving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TheoremProving</span></a> pipeline powered by the company's DeepSeek-V3 foundation model.</p><p>Learn more: <a href="https://bit.ly/3ZlTt7h" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">bit.ly/3ZlTt7h</span><span class="invisible"></span></a> </p><p><a href="https://techhub.social/tags/InfoQ" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>InfoQ</span></a> <a href="https://techhub.social/tags/GenerativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GenerativeAI</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.
Administered by:
Server stats:
225active users
eupolicy.social: About · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.8
#deepseekproverv2
0 posts · 0 participants · 0 posts today
Erik Jonker<p>Deepseek Prover V2 , a model specialised in Math, is impressive, try it on Huggingface for free. I tried many hard SAT questions it solved flawlessly. Very impressive, that promises something for the to-be-released R2.<br><a href="https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">huggingface.co/deepseek-ai/Dee</span><span class="invisible">pSeek-Prover-V2-671B</span></a><br><a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/DeepSeekProverV2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DeepSeekProverV2</span></a></p><p>I tested with these questions,<br><a href="https://blog.prepscholar.com/hardest-sat-math-questions" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.prepscholar.com/hardest-s</span><span class="invisible">at-math-questions</span></a></p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload