中国AI首次攻克数学未解难题并完成形式化证明
近日，北京大学北京国际数学研究中心传来消息，董彬教授率领的AI4Math研究团队依托自主研发的人工智能框架，成功破解了交换代数领域一项悬而未决的猜想——安德森猜想，并在Lean编程语言与定理证明环境中完成了近19000行的形式化论证工作。此举标志着我国首次利用人工智能框架解决交换代数开放难题并完成大规模形式化验证，为数学与人工智能的深度融合开拓了新路径。 该猜想由美国学者安德森在2014年首次提出，其核心研究对象是“准完备局部环”的某些特性。此类环主要用于代数化描述几何体在局部区域（例如某个点的邻域）的无
全球首个世界数据组织宣告成立
3月30日，世界数据组织在北京正式宣告诞生。据筹委会透露，该组织的英文名称为World Data Organization（WDO），这是一个由全球数据相关机构与个人自愿组成的非政府、非营利性国际组织，致力于实现“缩小数据差距、挖掘数据潜能、推动数字繁荣”的目标。 据悉，该组织将重点推进全球数据合作与治理，致力于探索在合规、安全及可信的前提下实现数据的高效流通与合理应用，为全球数字经济的发展筑牢基础。 记者：阮帅 许杨 高亢
北京清明假期迎客超千万 旅游收入双增长
北京市文化和旅游局6日发布数据显示，清明小长假期间，北京累计迎来游客1001.6万人次，同比上升4.4%；旅游收入达到123.4亿元，同比增长7.4%。今年清明假期，高品质、深度体验游成为北京文旅市场主要特征，春季消费热潮涌动，文化、商业与旅游紧密联动趋势明显。假日里，北京丰富文旅供给，充分满足市民游客出行需求。全市各区联合举办清明诗会、阅读推广、传统手工体验等400余场群众性文化活动；并推出“花开四月 畅游北京”主题活动，打造10条“漫步北京”赏花专线。此外，多地春假与清明假期相连，北京特别推出10条春
2025年人工智能专业择校指引：顶尖211院校详解
核心定位：这些211院校的人工智能实力可与部分985高校比肩，是实现“低分高就”的绝佳选项。目标人群：高考成绩位列全省前5000名的理科考生，期望进入优质高校但冲击985存在一定难度。数据依据：根据2025年ABC排名，这8所211院校均获得A级（全国前10%）评价，其中西安电子科技大学荣获A+评级。• 西安电子科技大学人工智能专业高居全国第9，实力超越半数985高校！• 北京邮电大学通信工程与AI结合，堪称进入互联网大厂的快速通道• 这些211院校在特定行业或地域，其资源积累甚至优于部分985• 录取分
田轩新任北大光华管理学院院长
4月4日，券商中国记者查看发现，北京大学光华管理学院官网公布，第十四届全国人大代表、北京大学博雅特聘教授田轩担任北京大学光华管理学院院长。 具体来看，此次北大光华的院领导调整包括：田轩接替刘俏出任院长；副院长滕飞、沈俏蔚获得续聘；光华会计系教授麻志明、组织与战略管理系教授张闫龙新聘为副院长；原院长刘俏、原副院长张圣平、张影、马力、张峥卸任。 今年1月的媒体报道显示，田轩已从清华大学五道口金融学院转赴北京大学，任博雅特聘教授。 田轩2001年毕业于北京大学，获经济学学士学位，2003年于美国华盛顿大学获经济
北京首个杨柳飞絮预警发布 中心区后天起飘絮
4月4日，北京发布今年首个杨柳飞絮预报。其中提到：北京最先飞絮的白毛杨主要分布在五环内。 各区域飞絮始期预计为： 中心城区：4月6日~8日 城区西南部：4月7日~9日 城区东南部：4月7日~9日 城区东北部：4月8日~10日 城区西北部：4月8日~10日 监制：张力
蓝天常驻：北京大气治理的绿色实践
◇2025年中央城市工作会议上，习近平总书记表示：“蓝天成为常态，我在北京APEC会议上向全世界承诺的‘APEC蓝’已经实现，兑现了诺言”。 ◇“北京蓝”的背后，是发展理念与治理模式的重大转变。北京十余年的大气治理历程，是在习近平生态文明思想指导下，探索超大城市绿色发展路径的生动案例。 ◇北京市以强化党的领导为核心，统筹规划、严格考核、广泛动员公众参与，打响了一场力度空前的“蓝天保卫战”。 ◇成立市委生态文明建设委员会，实行生态环境保护“党政同责、一岗双责”，市委、市政府主要领导亲自挂帅，强化对大气污染治
中国商会绿色智造沙龙活动在北京顺利举行
炒股就看金麒麟分析师研报，权威，专业，及时，全面，助您挖掘潜力主题机会！ 来源：中国国际商会 编辑：石秀珍 SF183 新浪财经声明：此消息系转载自合作媒体，新浪财经登载此文出于传递更多信息之目的，文章内容仅供参考，不构成投资建议。 郑重声明：1.根据《证券法》规定，禁止编造、传播虚假信息或者误导性信息，扰乱证券市场；2.用户在本社区发表的所有资料、言论等仅代表个人观点，与本网站立场无关，不对您构成任何投资建议。用户应基于自己的独立判断，自行决定证券投资并承担相应风险。
超图软件中标北京智网数科项目，金额205.10万元
同壁财经讯，企查查数据显示，根据《国家管网集团2025年数字平台建设项目数据库空间扩展插件采购项目标段一中标结果公示》，北京超图软件(14.710, -0.37, -2.45%)股份有限公司于2026年4月3日公告中标北京智网数科技术有限公司采购项目，中标金额为205.10万元。 相关上市公司：超图软件(300036.SZ) 同壁财经小贴士： 超图软件（300036.SZ）2024年营业收入为14.98亿元，营业收入增长率为-24.30%，归属母公司净利润为-1.71亿元，归属母公司净利润增长率为-212
北京新增15款登记AI服务
最新公告：北京市生成式AI服务登记情况（2026年4月3日） 依据《生成式人工智能服务管理暂行办法》及相关规定，针对通过API接口或其他形式调用已备案大模型能力的生成式AI应用或功能，采取登记管理模式，允许其上线运行。截至2026年4月3日，北京市新增15款完成登记的生成式人工智能服务。 已上线的生成式AI应用或功能，需在显著位置或产品详情页明确展示上线编号，并依据《人工智能生成合成内容标识办法》对生成内容进行标识。 北京市生成式人工智能服务备案与登记相关咨询及受理电话：010-55520144（工作日上
北京：全球AI创新的核心枢纽
近日，八月瓜科技创新研究院发布了《全球人工智能企业科技创新指数报告2026》，该报告借助全球专利大数据等信息，展示了人工智能企业的创新能力与产业布局。报告显示，全球人工智能领域呈现出中美双核驱动、四大城市成为创新“核心”的显著格局。报告依据《国家人工智能产业综合标准化体系建设指南（2024版）》，构建了“基础层、框架层、模型层、应用层+综合性大企业”的‘四层一类’分析框架，并设立了一个包含创新产出、创新质量与价值、运营能力与商业化、资本化与全球布局4个一级指标、20个二级指标的科技创新评估体系。报告从全球
北京亦庄企业荣登全球顶尖人工智能榜单
据《北京日报》4月2日报道，近日，八月瓜科技创新研究院发布的《全球人工智能企业科技创新指数报告2026》中，评选出了100家全球标杆人工智能企业。其中，北京经济技术开发区（北京亦庄）的企业比特大陆榜上有名，此外，中科曙光、百川智能、亚信科技、智谱华章等多家公司在该区域内开展业务。北京经开区正加速打造全域人工智能之城，现已汇聚了500多家人工智能产业链企业。作为国内首个以城市级理念推进人工智能应用场景的区域，北京经开区已开发了涵盖45个领域的100多个应用场景，并开放了55个场景订单。例如，在“AI+生物医
北京人艺2026年首演《翡翠城》：艺术圈的心灵之旅
在经典童话《绿野仙踪》里，多萝西通往翡翠城的旅程象征着成长与自我发现；而北京人艺2026年度首部新戏《翡翠城》，则是一部关于艺术圈心灵漂泊的故事——不再是童话，而是现实的艺术圈“片场现形记”。4月2日，记者从该剧媒体见面会上得知，《翡翠城》将于4月30日起在北京国际戏剧中心·曹禺剧场正式上演。这部新作以尖锐的视角揭示艺术圈的虚荣与复杂，让观众在审视“城里”的人时，也反思“城外”的自己。 话剧《翡翠城》由澳大利亚“国宝级”剧作家大卫·威廉森创作于1987年。它延续了剧作家一贯的特点：用敏锐的笔触剖析社会现实
郭锐出任智界汽车新掌门
快科技4月2日消息，日前，前华为系高管郭锐正式宣布加入智界汽车，根据官方认证，他将出任智界汽车董事长兼首席执行官。 郭锐毕业于北京大学信息科学技术学院，拥有理学博士学位，是量子计算领域的顶尖学者，曾以第一作者身份在《Physical Review》发表重要论文，并作为青年科学家代表受邀参加诺贝尔奖大会。 其职业生涯覆盖快消与科技两大行业，早期在宝洁、中粮、蒙牛等知名企业积累了丰富的品牌运营与用户洞察经验。 2017年加入华为后，他主导了终端大中华区的品牌营销工作，助力华为向高端市场迈进；2021年作为创始
零跑汽车股价攀升逾3% 3月交付破5万领跑新势力
零跑汽车(52.65, 1.40, 2.73%)（09863）盘中涨幅超过3%，截至发稿，股价上涨2.93%，现报52.75港元，成交额达4.29亿港元。 零跑汽车3月全系交付量达50029台，再度夺得造车新势力月度销量冠军，同比增长35%，环比增幅约78.25%。公司透露，将在本月北京车展上推出Lafa5 Ultra版车型，同时旗舰车型D19将于4月16日正式上市。此前，零跑汽车发布公告称，创始人、董事长兼CEO朱江明及股东傅利泉近期再度增持公司股份，均价约为45.1港元，合计增持金额约2.3亿港元，彰