标签：学者

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

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

人民网北京3月18日电 （记者罗知之）国务院新闻办公室今日举行新闻发布会，介绍2026中关村论坛年会有关情况。科技部副部长林新在会上表示，今年，各部门共主办平行论坛29场，其中科技部主办或参与12场平行论坛，包括世界一流科技期刊论坛、全球科技创新高端智库论坛等；还有4场发布活动，分别是科技部、北京市共同发布“支持北京（京津冀）国际科创中心建设的创新政策”，《开放科学国际合作行动计划》，《国家创新指数报告》，国家自然科学基金委还要发布“2025年度中国科学十大进展”。

人民网北京3月5日电 （记者赵竹青）近日，国际超导材料探索领域最高奖项——马蒂亚斯奖（Bernd T. Matthias超导新材料奖）正式揭晓，中国科学院物理研究所靳常青研究员凭借在超导新材料领域的一系列开创性发现斩获该奖项，成为2026年全球唯一获此殊荣的学者，彰显了中国在国际超导材料研究领域的重要贡献。