Сравните 20 инструментов, похожих на DeepSeek-Prover-V2 - Внесите свой вклад в развитие deepseek-ai на GitHub: функции, оценки и цены.