标签：院长 第9页

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

新华社北京4月3日电《经济参考报》4月3日刊发记者郭倩采写的文章《多个产业赛道蓄力 开启“十五五”增长新空间》。文章称，2030年，商业航天核心产业规模预计将达到1.67万亿元，智能经济核心产业规模预计将达到12.6万亿元……在4月2日举行的2026赛迪论坛上，多项最新研究成果显示，“十五五”时期，新兴支柱产业、人工智能产业领域将保持快速发展态势，开启增长新空间。

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

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

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

快递行业再度迎来价格调整。近期，圆通速递股份有限公司、极兔速递环球有限公司等5家快递公司联合发布调价通知，贵州地区成为油价调整后首个完成调价的省份。

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

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

拍摄眼底照片“秒”测慢病风险、通过视觉信号刺激检测抗压能力……人工智能正越来越多走进寻常百姓的生活，让健康管理变得“触手可及”。