标签：成员 第3页

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

　　本报北京4月6日电（记者孙秀艳）国家组织药品联合采购办公室近日发布公告，取消广州合和医药有限公司美索巴莫注射液中选资格，并将该企业及受托生产企业成都天台山制药股份有限公司列入违规名单。 　　公告显示，广州合和医药有限公司委托成都天台山制...

3日，上海民营经济统战工作协调机制首次全体(扩大)会议在上海召开。上海市委常委、统战部部长陈通出席会议并讲话，上海市政协副主席、上海市工商联主席寿子琪主持会议。会议通报上海市民营经济“两个健康”工作情况，正式启动2026上海民营经济高质量发...

“把客厅收拾一下，再给客人做杯奶茶。”随着指令下达，机器人环顾四周，识别出散落的物品。机械臂精准抓取扫帚，沿着计算好的路径清扫地面；任务完成后，它转向操作台，取杯、加茶、加奶、搅拌、递送，动作行云流水，一气呵成。整个过程没有人工干预，仿佛一位训练有素的管家。

人民网北京4月2日电 （记者赵竹青）记者从中国科学院自动化研究所获悉，近日，该研究所与相关企业联合研发的机器人辅助经导管三尖瓣置换（TTVR）系统，在香港特别行政区成功完成首例临床应用。手术于2026年3月27日在香港威尔斯亲王医院进行，由...

人民网北京3月29日电 （记者杜燕飞）2025年，贸易新业态主体在线办理资金收付业务超10亿笔；银行为优质客户办理外汇业务平均时间缩短50%以上；依托企业指令“免审单”办理的跨境收支业务同比增长33%；跨国公司本外币一体化资金池政策惠及超1100家跨国公司及其1.9万家成员企业……

人民网北京3月20日电 （记者郝帅）3月20日，市场监管总局召开2026年一季度例行新闻发布会。会上，有记者就市场监管总局1月9日宣布对外卖平台服务行业市场竞争状况开展调查、评估的相关进展进行提问。