标签：院士 第4页

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

3日，在北京经济技术开发区(亦庄)举办的2026太空算力产业大会上，业界首个太空算力产业协同平台“太空算力专业委员会”(以下简称“专委会”)正式成立。 太空算力，是将计算、存储、网络等算力基础设施部署到地外空间，形成面向在轨任务的智能计算能...

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

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

特种机器人作为替代人类进入高危、极端场景作业的核心智能装备，是培育新质生产力、推动产业高端化发展的重要支撑，也是保障公共安全、提升特种设备治理水平的“硬核力量”。近年来，福建省运用“质量技术、知识产权、合规指引”三大赋能手段，在服务产业质量提升、创新创造、规范发展等方面，助推特种机器人产业“跑”出发展加速度。

当前，大模型与智能体加速从数字世界走向物理场景，但具身智能、机器人落地仍面临动作卡顿等“不丝滑”难题。未来随着6G技术商用，其将为具身智能带来哪些变革？

在2026中关村论坛年会上，一群身穿蓝色马甲的身影活跃在参展商和观众之间。这个逐步从幕后走向台前的群体，就是连接创新链与产业链的技术经理人，他们正在助力更多科技成果从“书桌”走向“货架”。从政府到高校，从科研机构到金融专家，各方共识日益清晰：技术经理人的规模化、专业化发展，已成为助力打通科技成果转化的重要突破口。

能够实时对话、搭载具身智能情感大模型的天轶2.0机器人，以“智能终端+AI大模型”实现24小时不间断监测的机器狗“博仔”，可完成咖啡豆全链路“零碳溯源”的咖啡大师机器人……在博鳌亚洲论坛2026年年会现场，智能机器人“天团”穿梭忙碌、各显神通。论坛期间，多场主题交流活动也聚焦人工智能展开了深入探讨。