AI Disruption
Subscribe
Sign in
Home
Podcast
Chat
Chip
Meta
Paper
Qwen
Agent
Robot
Cursor
Google
OpenAI
AI Code
AI Video
Windsurf
DeepSeek
AI Weekly
Elon Musk
AI Writing
AI Painting
AI Business
🎈 Guest Posts
AI Open Source
Chinese Outbound
Foundation Model
Archive
About
DeepSeek
DeepSeek Open-Sources Prover-V2: Major Boost in Math Reasoning
DeepSeek Prover-V2: Open-source AI model excels in math reasoning, achieving 88.9% on MiniF2F. Supports Lean 4 & 32K context.
May 1
Â
•
Â
Meng Li
3
Share this post
AI Disruption
DeepSeek Open-Sources Prover-V2: Major Boost in Math Reasoning
Copy link
Facebook
Email
Notes
More
DeepSeek-R1T-Chimera: Open-Source Community Adds Deep Thinking to the New DeepSeek V3
DeepSeek-R1T-Chimera: A faster, open-source hybrid of DeepSeek V3 & R1 with 40% fewer tokens.
Apr 28
Â
•
Â
Meng Li
3
Share this post
AI Disruption
DeepSeek-R1T-Chimera: Open-Source Community Adds Deep Thinking to the New DeepSeek V3
Copy link
Facebook
Email
Notes
More
Share
Copy link
Facebook
Email
Notes
More
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
