【[337星]DeepSeek-Prover-V2：数学证明领域的强大工具，助力解决高难度数学问题。亮点：1. 通过强化学习实现复杂问题的子目标分解，解决传统方法难以攻克的难题；2. 在MiniF2F测试中达到88.9%的通过率，远超行业平均水平；3. 提供完整的证明过程数据，助力研究和学习】

'DeepSeek-Prover-V2: Advancing formal mathematical reasoning via reinforcement learning for subgoal decomposition'

GitHub: github.com/deepseek-ai/DeepSeek-Prover-V2

数学定理证明强化学习AI创新AI创造营