🤖 DeepSeek silently dropped a 671B math-proof machine — no hype, just results.
🧠 88.9% MiniF2F
💣 Built for Lean 4
🔥 Outperforms past models, benchmarks Putnam problems
👀 Nobody’s talking about it… yet.
#AI #LLM #DeepSeek #MathGPT #AGI #TheoremProving #OpenSource #DeepSeekProverV2
Prover-V2 is insane. Full breakdown:
https://deepseekagi.org/deepseek-prover-v2-ai-breakthrough-in-math-theorem-proving/