标签：专家 第49页

人民网北京4月9日电 （记者乔业琼）据国家卫生健康委官网消息，根据《加强医学科研诚信专项治理的工作方案》相关工作部署，国家卫生健康委对各级卫生健康行政部门所属医疗卫生机构按照《科研失信行为调查处理规则》（国科发监〔2022〕221号）查实的...

人民网北京4月9日电 （记者乔业琼）在今日召开的国家卫生健康委新闻发布会“例行健康提示”环节，国家卫生健康委新闻发言人胡强强表示，近期，一些私域直播、社群营销打着“健康讲座”“专家直播”等旗号，专门针对老年人进行保健产品等推销。有的由“演员...

　　本报兰州4月8日电（记者曾亦辰）日前，《甘肃省加强基层慢性病健康管理服务的若干措施》印发，从多方面全面优化基层慢性病健康管理工作，明确阶段性发展目标。 　　措施提出，要构建层级分明的服务体系。县级建基层慢性病健康管理中心，乡镇（社区）设...

人民网北京4月7日电 （记者孙博洋）近日，市场监管总局发布数据显示，“十四五”期间，市场监管总局大力推动开展质量基础设施“一站式”服务，有机融合计量、标准、认证认可、检验检测等要素资源，全国已建成各类质量基础设施“一站式”服务平台2984个...

随着我国“人工智能+”行动的深入推进，各类智能体及AI应用广泛渗入生产生活场景。而近期频发的AI安全事件，不仅引发公众关注，也成为产业界与学界协同攻坚的重要方向。近日，全国网络安全标准化技术委员会（以下简称“网安标委”）正式组建“人工智能安全标准工作组”（WG9），标志着我国人工智能安全标准体系建设进入系统性推进阶段。

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