标签：理论 第2页

记者16日从中国科学院国家空间科学中心获悉，来自该中心等单位的科研人员，通过三维数值模拟首次揭示，月球内部的金属月核在“感受”到太空磁场突变时，会像电磁感应一样产生感应电流和感应磁场，这股力量会挤压月球周围的太阳风，在月球两侧边缘形成一道特殊的“压缩带”。这一发现为理解月球与太阳风的相互作用提供了全新视角。相关研究成果发表于《天体物理学杂志》和《皇家天文学会月刊》。

16日，中国科学院上海光学精密机械研究所团队宣布，在世界上首次人工制造出与自然界高度相似的“类球状闪电”，一举破解这一百年自然之谜。相关成果发表于国际期刊《自然·光子学》。

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

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

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