普林斯顿团队领衔发布最强开源数学定理证明模型：32B性能大幅超越前代SOTA DeepSeek 671B

机器之心数据服务现已上线，提供高效稳定的数据获取，简化数据爬取流程。