国内首次实现AI自主解决数学开放问题
6日,记者从北京大学北京国际数学研究中心了解到,该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想,并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证,开辟了数学与AI深度融合的更多可能。
6日,记者从北京大学北京国际数学研究中心了解到,该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想,并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证,开辟了数学与AI深度融合的更多可能。
新华社福州4月2日电(记者邓倩倩)记者2日从福州大学获悉,此校联合闽都创新实验室在超高清集成显示技术领域取得突破,由福州大学物理与信息工程学院李福山教授团队牵头,成功研发出一种面向增强现实(AR)、虚拟现实(VR)的超高分辨率量子点显示技术。相关研究论文于北京时间4月2日发表在国际顶级学术期刊《自然》。
2日,记者从福州大学获悉,该校李福山教授团队在超高清集成显示技术领域取得重要突破,成功研发出一种面向增强现实(AR)、虚拟现实(VR)的超高分辨率量子点显示技术,有望为高端集成显示芯片发展提供新路径。相关成果于2日在线发表于国际学术期刊《自然》。
人民网北京4月2日电 (记者赵竹青)记者从中国科学院自动化研究所获悉,近日,该研究所与相关企业联合研发的机器人辅助经导管三尖瓣置换(TTVR)系统,在香港特别行政区成功完成首例临床应用。手术于2026年3月27日在香港威尔斯亲王医院进行,由...

当你向人工智能(AI)倾诉个人烦恼或寻求人际交往建议时,它给出的回应可能更多是为了迎合你,而非提供真正有益的指导。
人民网北京3月30日电 (记者赵竹青)3月27日至28日,由中国自动化学会主办的2026国家新质生产力与智能产业发展会议在广东省广州市举办。会议以“承六十五载初心,拓新质发展格局”为主题,紧扣“十五五”时期科技自立自强、产业转型升级的核心要求,打造兼具思想高度、技术深度与产业温度的交流平台。
特种机器人作为替代人类进入高危、极端场景作业的核心智能装备,是培育新质生产力、推动产业高端化发展的重要支撑,也是保障公共安全、提升特种设备治理水平的“硬核力量”。近年来,福建省运用“质量技术、知识产权、合规指引”三大赋能手段,在服务产业质量提升、创新创造、规范发展等方面,助推特种机器人产业“跑”出发展加速度。

为筑牢养老机构消防安全防线,同时践行关心关爱孤寡老人的责任担当,3月26日至27日,深圳消防在宝安、龙岗、龙华三区组织开展“消防安全社区行”养老院专项宣传科普活动。此次活动既是针对老年群体的“精准宣传”,也标志着全市特殊群体、城中村重点区域消防宣传工作正式启动。
近期,随着国际金价波动明显加剧,部分挂钩黄金策略的银行理财产品净值出现阶段性回撤。此前被视作兼具避险属性与收益增强功能的“固收+黄金”类产品,正面临市场波动带来的新考验。
3月23日,国家金融监督管理总局上海监管局发布行政处罚信息,上海尚诚消费金融股份有限公司(以下简称“尚诚消费金融”)被罚。