标签：论文 第4页

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

新华社福州4月2日电（记者邓倩倩）记者2日从福州大学获悉，此校联合闽都创新实验室在超高清集成显示技术领域取得突破，由福州大学物理与信息工程学院李福山教授团队牵头，成功研发出一种面向增强现实（AR）、虚拟现实（VR）的超高分辨率量子点显示技术。相关研究论文于北京时间4月2日发表在国际顶级学术期刊《自然》。

在3月29日举行的2026中关村论坛年会上，中国科学技术发展战略研究院发布《国家创新指数报告2025》。报告显示，全球创新发展保持亚美欧三足鼎立格局。中国国家创新指数综合排名世界第9位，较上年提升1位。

人民网北京3月26日电 （记者罗知之）据国家林草局网站消息，近日，20世纪以来首个模式产地位于浙江境内的爬行动物新物种“括苍山脊蛇”在浙江临海被发现。浙江省森林资源监测中心生物多样性监测所许济南为该物种的主要发现人员和科研论文通讯作者。

　　24日，中国科学院国家天文台发布郭守敬望远镜LAMOST DR13数据集，光谱总数达到3082万余条，首次突破3000万条，继续保持国际光谱巡天项目发布光谱数量第一的地位。

人民网北京3月24日电 （记者赵竹青）我国机构自主研发制定的全球医学与生命科学高质量期刊列表3月21日发布，为世界学术期刊评价提供了“中国视角”，有望为破除“唯影响因子”倾向、提升我国学术话语权提供支撑。

人民网北京3月19日电 （记者赵竹青）记者从中国科学院获悉，近日，中国科学院分子细胞科学卓越创新中心（生物化学与细胞生物学研究所）程新研究组联合海军军医大学第二附属医院（上海长征医院）殷浩教授团队在线发表最新研究成果，在国际上首次分别利用自体与异体干细胞来源的再生胰岛（E-islet）微创移植，实现了1型糖尿病患者的胰岛功能重建与血糖自主调控。

基因注释是连接“测出基因组”和“读懂基因组”的核心环节，是基因组研究走向功能解析和应用转化的重要基础。随着国际大型基因组计划持续产出海量数据，如何实现高质量基因注释已成为后基因组时代亟待突破的重要瓶颈。传统方法通常依赖RNA测序、同源蛋白等外部证据，存在数据需求高、计算开销大、对数据匮乏物种适用性受限等问题。

今年政府工作报告提出，要统筹国家战略科技力量建设，深化科研院所改革，加强国家实验室和重大科技任务、重大科技基础设施统筹部署，全面强化科技基础条件自主保障。

科技日报北京3月2日电（记者刘霞）澳大利亚科学家的一项新研究发出警示：随着大气二氧化碳（CO2）浓度持续升高，人体血液中的CO2水平也在悄然攀升。