TLDR · QUICK LINKS
DEEPSEEK JOINS OPENAI & GOOGLE IN SCORING GOLD IN IMO 2025
Summary from the TLDR newsletter
DeepSeekMath-V2 demonstrates strong theorem-proving capabilities in mathematics - it solved 5 of 6 problems on the International Mathematics Olympiad (IMO) 2025.