机器之心 · 2025-07-17T05:14:35Z 普林斯顿团队领衔发布最强开源数学定理证明模型：32B性能大幅超越前代SOTA DeepSeek 671B 💡 原文中文，约200字，阅读约需1分钟。 📝 内容提要 机器之心数据服务现已上线，提供高效稳定的数据获取，简化数据爬取流程。 🏷️ 标签 deepseek 数据服务 数据获取 爬取 稳定 高效 阅读原文 生成长图 分享链接 已复制链接
