中新網北京10月15日電 “人工智能(AI)能力的深度取決於使用者知識深度。AI隨機性可探索多樣性，但也需通過嚴格流程加以約束，以保障可靠性。可驗証性決定AI適用邊界。”中國科學院計算技術研究所副所長、北京開源芯片研究院首席科學家包雲崗近日在一場活動上說。

2026未來科學·創想季“數學與計算機科學×數字未來”跨界對話近日在上海舉行，包雲崗在會上發表主旨演講時探討AI能力邊界。他說，在數學証明等場景中，AI証明生成效率突出，但驗証正確性仍是關鍵瓶頸。

據介紹，本場對話聚焦“從計算到洞察與創造”的下一代智能數字根基，匯聚科學家、產業界人士、投資機構等。與會專家共同探討開源處理器、具身智能、通用數據大模型、深度學習等前沿方向，以期為數字未來構筑堅實根基。

北京大學北京國際數學研究中心博雅特聘教授、北京中關村學院常務副院長董彬在會上表示，AI正在改變數學研究，將科研人員從繁重的証明工作中解放出來。數學家應主動擁抱AI，學會駕馭智能體、甄別模型幻覺，實現人與AI協同進化。

董彬認為，現階段AI擅長知識儲備與推理，但提出具備高價值、有意義的數學猜想與問題仍是人類數學家的核心優勢。OpenAI公布大量數學証明結果，仍存在不少錯誤，而數學家可提供高價值評測基准、長鏈條推理數據和訓練環境，反哺AI推理能力。

上海交通大學特聘教授、人工智能學院副院長張婭表示，數學與AI之間形成了雙向促進的關系，“數學為理解和構建AI提供基礎，AI也為數學探索與驗証提供了新的工具”。不過，AI的研究成果如何在真實物理世界中得到驗証並走向應用，仍面臨不少挑戰。

張婭認為，未來AI可能像數學一樣，成為每個人從小就開始學習的基礎內容。同時，AI能力的持續提升也離不開良好的數據生態，需要推動高質量數據的積累與開放共享。

與會專家還表示，隨著前沿AI能力持續躍遷、成本大幅下降和Agent(智能體)交互范式成熟落地，AI變革正在從基礎設施邁向應用與端側智能，智能終端將融入日常生活各類場景。

本次跨界對話由未來論壇、上海未來啟點社區、上海星力泰克聯合主辦。上海未來產業基金總經理、上海未來啟點社區理事長魏凡杰說，科學轉化需要跨界合作，通過鏈接不同學科、科學家、創業者與投資人產生聯動，產生良好的“化學反應”，助力前沿技術落地。

魏凡杰表示，未來將探索以公益基金會模式，通過更靈活的方式支持青少年科創，並依托“投資基金+人才社區+公益基金會”三位一體聯動，打造創新創業新范式。 (記者 張素)