总结：基于v3训练的用于数学定理证明的大模型，不是什么r2重大新闻 

 [OAI Deep Research]