DeepSeek-Prover-V2
Продвижение формальных математических рассуждений через RL
Рекомендуемые
2 Голоса
Описание
DeepSeek-Prover-V2-это ИИ с открытым исходным кодом, революционизирующий формальную теорему, доказывающая в Lean 4. Powered By DeepSeek-V3, она достигает 88,9% -ной скорости прохода на MiniF2F-тестирование и решает проблемы 49/658 Putnampench.