DeepSeek V3.2发布！实测效果惊艳，便宜是最大优势

小雷发现，DeepSeek似乎真的很喜欢大晚上给大家突然来个惊喜。 12月1日晚，DeepSeek突然来了一波更新：V3.2版本正式上线并向所有用户开放，同时也在各个开源社区上传了V3.2的本地部署模型供所有用户使用。从官方公布的测试结果来看，DeepSeek V3.2的推理能力已经基本与OpenAI的GPT-5相近，但是其成本却远低于GPT-5，可以说仅这一点就足以让不少人为之兴奋了。 好了，废 ...
TechCrunch

DeepSeek upgrades its math-focused AI model Prover

Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version ...