Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
veganism.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Veganism Social is a welcoming space on the internet for vegans to connect and engage with the broader decentralized social media community.

Administered by:

Server stats:

253
active users

veganism.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-alpha.4

#theoremproving

2 posts2 participants0 posts today
DeepSeek AGI<p>🤖 DeepSeek silently dropped a 671B math-proof machine — no hype, just results.</p><p>🧠 88.9% MiniF2F<br>💣 Built for Lean 4<br>🔥 Outperforms past models, benchmarks Putnam problems<br>👀 Nobody’s talking about it… yet.</p><p><a href="https://techhub.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://techhub.social/tags/LLM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLM</span></a> <a href="https://techhub.social/tags/DeepSeek" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DeepSeek</span></a> <a href="https://techhub.social/tags/MathGPT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MathGPT</span></a> <a href="https://techhub.social/tags/AGI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AGI</span></a> <a href="https://techhub.social/tags/TheoremProving" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoremProving</span></a> <a href="https://techhub.social/tags/OpenSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenSource</span></a> <a href="https://techhub.social/tags/DeepSeekProverV2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DeepSeekProverV2</span></a> </p><p>Prover-V2 is insane. Full breakdown: <br><a href="https://deepseekagi.org/deepseek-prover-v2-ai-breakthrough-in-math-theorem-proving/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">deepseekagi.org/deepseek-prove</span><span class="invisible">r-v2-ai-breakthrough-in-math-theorem-proving/</span></a></p>
Winbuzzer<p>DeepSeek Releases Massive 671B Prover V2 Model For Mathematical Theorem Proving Ahead of R2 Release</p><p><a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mastodon.social/tags/ChinaAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ChinaAI</span></a> <a href="https://mastodon.social/tags/DeepSeek" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DeepSeek</span></a> <a href="https://mastodon.social/tags/OpenSourceAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenSourceAI</span></a> <a href="https://mastodon.social/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mastodon.social/tags/TheoremProving" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoremProving</span></a> <a href="https://mastodon.social/tags/Lean4" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lean4</span></a> <a href="https://mastodon.social/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MachineLearning</span></a> <a href="https://mastodon.social/tags/DeepLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DeepLearning</span></a> <a href="https://mastodon.social/tags/MathAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MathAI</span></a></p><p><a href="https://winbuzzer.com/2025/04/30/deepseek-releases-massive-671b-prover-v2-model-for-mathematical-theorem-proving-ahead-of-r2-release-xcxwbn/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">winbuzzer.com/2025/04/30/deeps</span><span class="invisible">eek-releases-massive-671b-prover-v2-model-for-mathematical-theorem-proving-ahead-of-r2-release-xcxwbn/</span></a></p>
Colin the Mathmo<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@wren_h" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>wren_h</span></a></span> Hi !!</p><p>It's great to have you here, and pleased that you're not some sort of robot. Not sure where you got the message that you should make such a post, but it's definitely a good idea to start interacting. There are no algorithms here to fill your timeline(s) with posts that other things think you should be interested in.</p><p>It's worth putting hashtags on posts to make them findable. Things like:</p><p><a href="https://mathstodon.xyz/tags/DependentTypes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DependentTypes</span></a> or <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeTheory</span></a> or <a href="https://mathstodon.xyz/tags/TheoremProving" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoremProving</span></a> or <a href="https://mathstodon.xyz/tags/DesignOfProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DesignOfProgrammingLanguages</span></a> or similar. Then when you've done that, have a look at your own post and click on the hashtags to see who else is talking about them.</p><p>Good luck!</p>
VegansExploreLive feeds
About