@skyfoxDeepseek Prover V2模型很厉害啊 中发帖

考研数学一基本都可以了。。。。不错