标签：北京大学 第2页

中国人民银行授权中国外汇交易中心公布，2026年5月13日银行间外汇市场人民币汇率中间价为1美元对人民币6.8431元。截至5月13日16时30分，人民币兑美元即期收盘价报6.7905。

人民网北京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幻觉”现象，给用户带来困扰。