标签：合作者

工作日的中午如何吃好一顿饭，是不少上班族面临的现实问题。时间紧、选择有限，面条、盖饭、简餐套餐成为常见选项。然而，这样的午餐是否可以满足人体对多种营养素的需求？ 很多人认为，只要吃饱了，营养自然就跟上了。肉有了、菜有了、主食也有了，看似面面...

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

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

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