[Turkmath:7114] We just released DeepSeek-Prover V2. - Solves nearly 90% of miniF2F problems - Significantly improves the SoTA performance on the PutnamBench - Achieves a non-trivial pass rate on AIME 24 & 25 problems in their formal version Github: https://t.co/E3p8SWFpvi

[Muhammed Uludag]

zhs05232838 (@Zhihong Shao) posted: We just released DeepSeek-Prover V2.
- Solves nearly 90% of miniF2F problems
- Significantly improves the SoTA performance on the PutnamBench
- Achieves a non-trivial pass rate on AIME 24 & 25 problems in their formal
version

Github: https://t.co/E3p8SWFpvi
https://x.com/zhs05232838/status/1917600755936018715?s=51&t=xPc42psHxFkBhkrsywBlUQ


--
A. M. Uludag
http://math.gsu.edu.tr/uludag/
twittter: @metamathician
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20250501/fd188e55/attachment.html>