前天晚上，DeepSeek发布了最新的数学专用大模型V2。 该模型有两个版本，分别是671亿参数和7亿参数。在极具挑战性的数学评测MiniF2F中，671B版本的通过率高达88.9%。此外，在PutnamBench包含的658道题目中，该模