包云岗等探讨AI边界及Science进展

发生了什么

据科创板日报报道，中国科学院计算技术研究所副所长包云岗在2026未来科学·创想季上表示，AI能力的深度取决于使用者知识深度，可验证性决定适用边界。他提出设计难验证易的领域是AI更擅长的方向，并指出算力消耗重心正从训练转向推理，端侧智能成为产业新焦点。北京大学董彬团队介绍，已搭建形式化检索引擎等基础设施，智能体自主证明安德森猜想，5小时内推翻两个前沿数学猜想，两周内完成庞加莱猜想大规模形式化工作。深势科技张林峰表示，AI for Science正走向科研全链路平台化基础设施建设，未来五年有望在理论科学等领域逐步实现突破。