32B小模型吊打671B巨无霸？普林斯顿清华联手扔出AI数学界”王炸”！ 2025年7月24日14时 作者 小兵的AI视界 明方面取得了显著进展。 Goedel-Prover-V2 是由普林斯顿大学、清华大学、英伟达等顶尖机
深夜突袭，DeepSeek-Prover-V2加冕数学王者！671B数学推理逆天狂飙 2025年5月1日11时 作者 新智元 报告也来了！34页论文揭秘了模型的训练核心——递归+强化学习，让数学推理大提升。有人盛赞：DeepS
HuatuoGPT-o1-7B：10分钟教你搭建会思考的问诊系统，门诊效率翻三倍 2025年4月26日14时 作者 小兵的AI视界 疗场景的复杂性和对准确性的极高要求，使得开发专门针对医学推理的大模型成为必然趋势 。 HuatuoG
