国内首次实现AI自主解决数学开放问题
6日,记者从北京大学北京国际数学研究中心了解到,该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想,并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证,开辟了数学与AI深度融合的更多可能。
6日,记者从北京大学北京国际数学研究中心了解到,该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想,并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证,开辟了数学与AI深度融合的更多可能。
3月27日,国家外汇管理局发布《2025年中国国际收支报告》(下称《报告》)。《报告》显示,我国外汇市场表现出较强韧性和活力,市场预期和交易理性有序,人民币汇率在合理均衡水平上保持基本稳定。
人民网北京3月10日电 (记者黄盛)证监会日前发布《关于短线交易监管的若干规定》(以下简称《规定》),将于2026年4月7日起正式施行。
截至3月2日,已有近30家上市银行发布首席合规官聘任相关公告。其中,农业银行、建设银行、中国银行、兰州银行、青农商行等多家银行宣布首席合规官由行长兼任。
2月26日,中国人民银行发布《关于银行业金融机构人民币跨境同业融资业务有关事宜的通知》(以下简称《通知》),支持境内银行业金融机构与境外机构规范开展人民币跨境同业融资业务。
“我们要告诫外卖平台,不能只收佣金、不担责任;不能只管流量、不顾品质,外卖平台必须实实在在担起外卖食品安全‘守门员’的主体责任。”26日,市场监管总局食品安全总监孙会川在新闻发布会上说。
当信托产品违约,代销银行的责任边界在哪里?近期一起营业信托纠纷案的二审判决给出了答案。该案判决书显示,代销银行在销售过程中存在风险提示不足、没有履行适当性义务等问题,需在一定范围内对投资者的本金损失承担连带赔偿责任。