“数学与计算机科学×数字未来”跨界对话在沪举办

2026未来科学·创想季“数学与计算机科学×数字未来”跨界对话在上海举办，聚焦开源处理器、具身智能与 AI for Science 等前沿方向。包云岗指出 AI 生成证明效率突出但验证正确性仍是瓶颈，董彬探讨了数学智能体设计并强调需甄别模型幻觉。张林峰表示，未来五年 AI 有望在理论科学、计算科学到实验科学逐步取得突破。