标签：规模 第52页

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

2026年清明假期收官，在多地中小学春假与清明假期连休、三天假期不调休的双重利好下，全国出行市场迎来“淡季不淡”的火热行情，人员流动规模、文旅消费活力均创下历年清明假期同期新高。 记者6日从交通运输部获悉，4月4日至6日清明假期期间，全社会...

4月6日，记者从商务部获悉，商务部会同中央网信办、工业和信息化部、农业农村部、文化和旅游部、市场监管总局等5部门印发《关于更好服务实体经济 推进电子商务高质量发展的指导意见》（以下简称《意见》）。《意见》从着力赋能增效、加强创新引领、推进高水平开放、营造良好生态、加强支撑保障等五个方面提出16条举措，构建电子商务高质量发展框架体系。

中国人民银行（下称“央行”）日前发布公告，4月7日，央行以固定数量、利率招标、多重价位中标方式开展8000亿元买断式逆回购操作，期限为3个月（89天），到期日为2026年7月5日。

中国央行3日宣布，将于4月7日以固定数量、利率招标、多重价位中标方式开展8000亿元(人民币，下同)买断式逆回购操作，期限为3个月(89天)，到期日为2026年7月5日(遇节假日顺延)。 数据显示，4月有11000亿元3个月期买断式逆回购到...

截至4月2日，已有22家A股上市银行披露2025年度利润分配方案，其中国有六大行全年合计派息金额拟超4200亿元。业内人士认为，定期的现金分红能够提高投资者实际收益，增强投资者获得感；同时，有助于推动板块估值向合理区间回归，持续吸引中长期资金配置。

近日，中国证券报记者就压降存量理财规模进展，在与浙江、吉林、江西、甘肃、陕西等地多家中小银行资产管理部及理财业务部人士交流时，得到了不一致的回复：有人表示，“基本上不再压降”，也有人称，“还是在变相往下走”。