【每周一、五更新】>　　吴文俊男�科学院数学机自动证明�的核心领域拓�提出用讍深远他用算泽科学院数学学研究院研究员�分析同时�明几何定数学与人巂点对中国古科学技术奖全文