AI前沿第020讲：人工智能与数学探讨
AI for Science人工智能与数学的关系《AI for Science 前沿讲座》第020讲上课时间：5月8日（周五）13:00-14:50授课地点：北京大学图书馆北配殿科学报告厅（一教正对面）报告简介：本报告将围绕人工智能发展的脉络，重点讨论其与数学之间的深层关联。内容分为两大部分：第一部分从数学视角梳理人工智能的演进历程，回顾不同阶段具有代表性的研究工作，提炼其背后所依托的数学基础与关键思路，并结合近几年人工智能方向的典型进展，分析当前前沿趋势以及主要难点与瓶颈，进而阐明人工智能与数学相互促进
AI算力核心，洞察科技新趋势
2026年，AI正在改写科学探索的底层逻辑。它不再是简单的辅助手段，而是科研创新的“核心引擎”。在这场巨变背后，有一条从实验室走向商业蓝海的明确路径。2026年4月14日，由中科曙光承建的6万卡AI4S计算集群，正式在河南郑州的国家超算互联网核心节点上线。该集群规模国内领先，象征着我国在AI驱动科研的算力基建上取得重大进展，将有力助推我国在人工智能产业应用方面占据优势地位。当下的竞争焦点，已从单纯的技术比拼转向创新体系的较量。算力、数据、算法和人才，这四要素缺一不可，共同构成了竞争的基石。2026年《政府
紫东太初北京OPC社区落地石景山，打造AI超级个体创业高地
新浪科技讯 4月18日晚间消息，随着2026紫东太初AI4S产业生态赋能大会暨OPC社区启动峰会的召开，紫东太初（北京）OPC社区宣告正式上线，这代表着紫东太初在北京市落地的首个专注于AI4S及大模型应用的专业化超级个体创业平台正式入驻石景山。 大会现场，中国科学院自动化研究所副总工程师、中科紫东太初董事长王金桥表示，面对全球科技格局的快速演变，公司始终坚持服务国家战略，把握时代机遇，致力于推动我国多模态大模型跻身世界先进行列。目前，紫东太初已在科学智能、具身智能、低空经济等前沿领域深耕细作，并取得了多项
中科闻歌拟港股上市：瞄准中科院系AI第一股，深耕AI4S赛道
据IPO早报透露，港交所于2026年4月12日更新了北京中科闻歌科技股份有限公司（简称“中科闻歌”）的招股书，公司拟按18C规则在港交所挂牌，中金公司担任独家保荐人。此举预示着中科闻歌极可能荣膺“中科院系人工智能第一股”，甚至有望问鼎“大模型决策第一股”。此前，4月10日，中国证监会国际合作司已批准了该公司境外上市及“全流通”备案。成立于2017年的中科闻歌，由中科院自动化所的王磊、罗引、曾大军三位博士共同创立，团队汇聚了来自中科院、清华、北大等顶尖学府的青年才俊，其中不少是90后。作为一家致力于复杂数据
四川细化AI科研联盟建设路径 协同发力推动研究提速
成立刚满一个月，四川省人工智能赋能科学研究联盟的建设蓝图已正式明确——《四川省人工智能赋能科学研究联盟建设工作方案》（以下简称《工作方案》）近日印发，围绕建设定位、总体框架、运行机制、组织保障、年度任务等内容提出细化安排，明确了联盟建设的时间节点和任务清单。为何建设？ 从“各自为战”转向协同共进人工智能赋能科学研究（AI for Science，简称AI4S）并不是一个全新的概念。早在2020年，科研人员就借助AI工具“阿尔法折叠”成功解析蛋白质结构，把原本可能需要数十年的预测过程压缩到几天之内，攻克了这