标签：北京大学

人民网北京4月 24日电 （记者乔雪峰）“未来教育应更加关注那些难以被技术量化的素养——如对世界的惊奇感、对他人的共情力以及在复杂情境中的判断力。”北京大学教育学院教授刘云杉在一场以“文字漫游”为主题的阅读推广活动上表示。 刘云杉认为，儿童...

人民网北京4月21日电 （记者赵竹青）4月17日至19日，由中国数学会主办，四川大学承办，成都理工大学、四川省数学会协办的第十七届全国大学生数学竞赛决赛在成都四川大学、成都理工大学举行。 第十七届全国大学生数学竞赛共设32个赛区，吸引了来自...

国家金融监督管理总局披露的数据显示，2024年至2025年，全国累计吊销注销保险中介集团3家、专业中介法人57家，清退专业中介分支机构3730家、兼业代理机构226家。与此同时，司法拍卖平台上保险中介股权上演“清仓式”甩卖——砺剑保险经纪100%股权历经6次流拍，起拍价从5000万元降至1638.4万元，仍无人报名；卡行天下保险经纪9次流拍后从5000万元跌至1元起拍，最终以7.1万元成交。60家牌照被清理、数千家分支消失、股权从溢价到流拍——保险中介牌照从“香饽饽”到“烫手山芋”，仅用了不到五年时间。

记者从北京市医疗保障局13日召开的新闻发布会获悉，2025年，北京市医药健康产业规模突破1.13万亿元。站在万亿新起点，北京市医保局等10部门日前联合发布《北京市支持创新医药高质量发展若干措施（2026年）》，全面发力医药科技原始创新。 这...

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

近年来，生成式人工智能在人们生活中的应用越来越广。然而，在提供便利的同时，生成式人工智能也经常出现答非所问、信息不准确等“AI幻觉”现象，给用户带来困扰。

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

“横店只在东阳，竖店无处不在。”主打竖屏拍摄的微短剧爆发式增长，让多地“竖店”崛起，大幅降低微短剧的拍摄成本，为行业注入新活力。然而自今年春节以来，人工智能（AI）视频技术正以更为低廉的成本，对这一新兴业态发起冲击。