标签：合作者

6日，记者从北京大学北京国际数学研究中心了解到，该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想，并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证，开辟了数学与AI深度融合的更多可能。

科技日报讯（记者朱虹通讯员衣晓峰）记者3月18日从哈尔滨医科大学获悉，该校教授周春水团队首次证实丙酮酸脱氢酶是抗细胞衰老的强力靶点。相关研究成果日前在线发表于国际期刊《衰老细胞》，为抗衰老及衰老相关疾病治疗新药研发提供了重要的理论依据和核心靶点。

人民网北京3月6日电 （记者赵竹青）智能手表、健康监测贴片……未来，这些可穿戴设备或许再也不用为频繁充电烦恼。