图片来源于网络，如有侵权，请联系删除  6日，记者从北京大学北京国际数学研究中心了解到，该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想，并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证，开辟了数学与AI深度融合的更多可能。  安德森猜想由美国数学家安德森于2014年提出，它关注的是“准完...

图片来源于网络，如有侵权，请联系删除  随着人工智能算力需求爆发式增长与全球低轨卫星星座加速部署，太空算力已成为全球科技竞争的新前沿，正处于从技术验证迈向规模化部署的关键阶段。  “太空算力涉及算力芯片、星间通信、供能散热以及卫星制造等多个领域。”近日，在北京经开区（亦庄）举办的2026太空算力产业大会上，工业和信息化部信息通信发展司副司长赵策指出，太空算力具有在轨实时处理、低成本能源、广域覆盖等多方面优势，有助于提高“天数”处理效率，增强太空能源开发能力，拓展网络应用边界，...

图片来源于网络，如有侵权，请联系删除证券之星消息，根据天眼查APP数据显示宁德时代（300750）新获得一项实用新型专利授权，专利名为“模组托盘、托盘输送装置及电池生产设备”，专利申请号为CN202620060833.5，授权日为2026年4月7日。 专利摘要：本申请提供了一种模组托盘、托盘输送装置及电池生产设备。模组托盘包括托板、柔性压头和移动结构；托板用于承托电池模组；柔性压头被配置为受到外力的情况下发生弹性变形，柔性压头成对设置，成对两个柔性压头沿第一方向间隔设置于...

证券之星消息，根据天眼查APP数据显示鑫宏业（301310）新获得一项实用新型专利授权，专利名为“智能机器人的电机电源线”，专利申请号为CN202520754110.0，授权日为2026年4月7日。 专利摘要：本实用新型公开一种智能机器人的电机电源线，包括：第一绝缘芯线和第二绝缘芯线，所述第一绝缘芯线和第二绝缘芯线各自均包括导体和包覆于导体外侧的绝缘层，各自沿其长度方向延伸的所述第一绝缘芯线与第二绝缘芯线平行且间隔设置，所述第一绝缘芯线与第二绝缘芯线之间设置有一与第一绝缘...

图片来源于网络，如有侵权，请联系删除（原标题：台海观澜 | 郑丽文：独持己见、四面玲珑） 2026年4月7日下午1时08分，由台北起飞的上海航空FM852航班降落在上海虹桥机场。这架飞机送来了一批贵客，由主席郑丽文率领的中国国民党大陆访问团。 中台办主任宋涛亲赴机场迎接郑丽文主席一行，访问团抵达后，随即转乘高铁前往南京，正式开启大陆行程。 关于郑丽文主席的此次大陆之行，岛内各界、两岸学者的分析评论甚多。笔者的观察是，这次访问得以成行，与郑丽文个人的坚持、坚定有关，也得益...

图片来源于网络，如有侵权，请联系删除（原标题：重新定义贝壳） 经济观察报 记者 田国宝图片来源于网络，如有侵权，请联系删除 “客户或许不会再接到链家经纪人的骚扰电话了。”4月4日，在北京一家链家门店内，经纪人杨雪说出这句话时，面露解脱般的轻松。她说，经纪人其实也不愿给客户频繁打电话，只是此前迫于KPI压力不得不为之，不仅要给买房人打，还要给卖房人打，她也清楚这种行为格外惹人反感。图片来源于网络，如有侵权，请联系删除 这一情况正逐步改善。北京链家部分门店已开始调整KPI指...