商业头条网降价 上市 红线——从三个关键词看5月全球AI领域发展
5月，全球人工智能（AI）技术持续迭代，保持迅猛发展势头。AI相关进展继续由中美两国领跑，中国企业在模型性价比、落地应用等方面凸显优势，而美国企业持续领跑前沿突破。同时，多家美国AI企业酝酿上市，反映出美国AI领域资本活跃度上升。此外，AI领域潜在风险受到持续关注，多国考虑加强相关监管措施，为AI发展划定红线。
共 6 篇文章
标签：数学
中国量子计算再破纪录 独家揭秘“九章四号”
新华社合肥5月13日电（记者陈诺、戴威、何曦悦）目前世界上最快的超级计算机，求解特定数学问题约需10的42次方年。由中国科学家最新研制成功的“九章四号”量子计算原型机只需要25微秒，比超算快超过亿亿亿亿亿亿倍。
中国科学院发布AI驱动科学创新体系化成果
人民网北京4月29日电 （记者赵竹青）新一轮科技革命加速演进，“人工智能赋能科学研究”（AI for Science）正深刻重塑全球科研创新范式。4月28日，中国科学院在北京正式发布“磐石100”模型体系，统筹全院力量，发挥多学科交叉、体系...
第十七届全国大学生数学竞赛决赛在成都举行
人民网北京4月21日电 （记者赵竹青）4月17日至19日，由中国数学会主办，四川大学承办，成都理工大学、四川省数学会协办的第十七届全国大学生数学竞赛决赛在成都四川大学、成都理工大学举行。 第十七届全国大学生数学竞赛共设32个赛区，吸引了来自...
国内首次实现AI自主解决数学开放问题
6日，记者从北京大学北京国际数学研究中心了解到，该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想，并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证，开辟了数学与AI深度融合的更多可能。
西安银行多维开展“3・15”金融宣教活动 筑牢全民金融安全防线
在“3・15”国际消费者权益日来临之际，西安银行紧扣“清朗金融网络 守护安心消费”核心主题，联动多方力量，精准聚焦不同人群，开展形式多样、内容丰富的金融知识普及与消费者权益保护系列活动。活动覆盖校园、社区、乡村、企业等多个场景，通过沉浸式宣讲、趣味互动、面对面科普等多种方式，将金融反诈、消保维权、反假货币等知识送到群众身边，切实提升全民金融素养与风险防范能力，以金融力量守护群众财产安全。
