标签：中国科学院 第8页

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

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

人民网北京4月2日电 （记者赵竹青）记者从中国科学院获悉，中国科学院植物研究所团队最新研究表明，华中地区拥有维管植物超过14431种，其中至少2024种为该区域特有，完全符合全球生物多样性热点划定标准，他们呼吁尽快将华中地区正式认定为全球生...

在北京举行的2026中关村论坛年会展览上，脑机接口专用芯片、康复辅助治疗系统等多款脑机接口产品吸引了许多参观者驻足。其中，由中国自主研发的“北脑一号”“北脑二号”智能脑机系统产品广受关注。

人民网北京3月30日电 （记者赵竹青）当高端科学仪器被AI赋能，会发生什么？3月27日，2026中关村论坛年会AI for Science（人工智能赋能科学研究）青年论坛上发布的我国首套智能双束电镜系统“Hyper-FIB”给出了答案：样品制备成功率从新手不足30%跃升至90%以上，单样品制备时间缩短到60分钟以内，实现了“无人值守超过8小时”。

人民网北京3月26日电 （记者赵竹青）3月26日，在中关村论坛年会——RISC-V生态科技论坛上，中国科学院正式公布在RISC-V关键技术突破、产业协同创新及人才培养领域的系列重要成果。

　　25日，2026中关村论坛年会“人工智能主题日”新闻发布会举行。记者从会上获悉，本届主题日将打造“1+6”活动框架，聚焦“前沿技术”与“国际化”两大核心，以“交融·智享AI新范式下的全球创新与产业融合”为主题，活动贯穿2026中关村论坛年会全程。主题日活动致力于打造我国人工智能领域规格最高、规模最大、影响力最强的标杆平台，全面展现我国AI硬核实力。