五一假期前夜，AI圈悄无声息炸出一颗“数学核弹”——DeepSeek-Prover-V2-671B横空出世！无需预热、没有预告，这个全球最大规模的形式化数学推理模型，直接在Hugging Face和GitHub上开源，用88.9%的定理证明通过率，把AI的数学

智商 github 开源社区 isabelle coq 2025-05-02 10:04  3