<div>zhs05232838 (@Zhihong Shao) posted: We just released DeepSeek-Prover V2.<br>- Solves nearly 90% of miniF2F problems<br>- Significantly improves the SoTA performance on the PutnamBench<br>- Achieves a non-trivial pass rate on AIME 24 & 25 problems in their formal version<br><br>Github: <a href="https://t.co/E3p8SWFpvi">https://t.co/E3p8SWFpvi</a> <a href="https://x.com/zhs05232838/status/1917600755936018715?s=51&t=xPc42psHxFkBhkrsywBlUQ">https://x.com/zhs05232838/status/1917600755936018715?s=51&t=xPc42psHxFkBhkrsywBlUQ</a></div><div><br clear="all"><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>--<br>A. M. Uludag<br><a href="http://math.gsu.edu.tr/uludag/" target="_blank">http://math.gsu.edu.tr/uludag/</a></div><div>twittter: @metamathician</div></div></div></div></div>