DeepSeek的开源模型专门为数学推理和定理证明设计，革新数学研究方法。
DeepSeek在五一期间开源了专为数学证明设计的DeepSeek-Prover2模型，包含6710亿参数和70亿参数版本。该模型采用递归与强化学习结合的技术在多项数学测试中表现优异，如MiniFF测试通过率达88.9%。同时发布的ProBench数据集包含325道题目，评估模型能力。实验发现思维链模式能显著证明准确率，小模型在特定问题上甚至超越模型。模型已在Hugging Face，支持数学研究新范式。
In dieser Ära der Offenheit und des Teilens führt OpenAI eine Revolution in der künstlichen Intelligenz an. Jetzt geben wir der Welt bekannt, dass wir alle Modelle von OpenAI vollständig unterstützt haben, z.B. GPT-4-ALL, GPT-4-multimodal, GPT-4-gizmo-*, etc. sowie eine Vielzahl von selbstentwickelten großen Modellen. Am aufregendsten ist, dass wir das leistungsfähigere und einflussreichere GPT-4o in die Welt eingeführt haben!
öffentliche Nummer
Zusammenarbeit Wechat