标签：理论

新华社北京4月7日电  4月7日,《新华每日电讯》发表题为《上海人工智能实验室发布“珠穆朗玛计划”——志在打造科学智能“全国中枢”》的报道。

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

人民网北京3月20日电 （记者赵竹青）记者从中国科学院获悉，中国科学院分子植物科学卓越创新中心，植物性状形成与塑造全国重点实验室韩斌院士团队和植物高效碳汇重点实验室（中国科学院）王佳伟研究员团队，首次克隆了决定野生稻多年生生活习性的关键基因EBT1，并阐明了该基因座位表达模式的改变是水稻在驯化过程中由多年生向一年生转变的关键。该研究3月20日以封面文章形式在国际权威学术期刊《科学》上发表。

“十四五”时期，我国促进中医药传承创新发展的政策法规体系进一步健全，中西医药相互补充、协调发展的优势进一步彰显，中西医协作机制进一步完善，中医药文化建设打开新局面，国际影响力持续扩大，为维护人民群众健康、助力经济社会高质量发展作出积极贡献。

江苏银行于2007年1月24日挂牌开业，是全国系统重要性银行之一，总部位于江苏南京。

【代表委员谈科产融合】今年政府工作报告提出，培育发展未来能源、量子科技、具身智能、脑机接口、6G等未来产业。

近日，寒潮影响我国多地，降温雨雪天气频发，加之假期生产生活用能需求增加，为能源保供带来挑战。