#MiniF2F01.05.2025
DeepSeek-Prover-V2: Прорыв в формальном доказательстве теорем с помощью ИИ и обучения с подкреплением
DeepSeek-AI выпустила DeepSeek-Prover-V2 — открытую большую языковую модель для формального доказательства теорем с помощью разложения на подцели и обучения с подкреплением, достигшую лучших результатов на нескольких бенчмарках.