亚洲黄页在线观看_国产日韩一区二区_久久99精品久久久久子伦_亚洲 日韩 国产第一

1月6日，在“人工智能與數學夜話”活動中，上海市人工智能行業協會與上海數學與交叉學科研究院共同發布“全球數學征解”，以三類不同難度的數學題目征集全球數學家及AI企業解答；同時宣布打造數學家AI國際合作平臺，將持續發布數學題目和數學猜想征解，推動人工智能與數學持續融合。

上海市人工智能行業協會副秘書長沈濤介紹，本次發布的全球數學征解的題目包括三個難度層次，即初探、突破和拓界。其中，初探是面向本科生的邏輯迷宮，突破是面向碩博的結構洞察，拓界則是面向全人類的終極猜想。

最受關注的“拓界”數學難題包括兩部分，第一部分是三道拓撲學猜想題，第二部分則是圍繞“卡拉比-丘流形”提出AI輔助挑戰，每道難題描述里都寫明可由AI做的工作。

據現場專家介紹，“卡拉比-丘流形”源于卡拉比1957年的猜想與丘成桐1977年的證明，因此以兩位數學家的姓氏聯合命名。

著名數學家、上海數學與交叉學科研究院理事長丘成桐現場表示，數學和AI是分不開的，現在AI參數已到萬億級別，一定有數學辦法能簡化算法。AI對數學也很重要，可以參與解決很多重要數學難題。讓人腦和AI合作發現和解決重要數學問題，目前外國還做不到這一步，希望人工智能專家積極參與，更希望中國人工智能行業先行一步。

2025年7月世界人工智能大會期間，包括丘成桐教授在內的多位數學專家發出“數學之問”，面向AI給出多道數學難題。1月6日的夜話現場，四個大模型團隊分別對上述題目做出解答。

上海人工智能實驗室的張文蔚團隊展示了AI的長時間思考能力，在處理一道奧賽數學題時，“書生”大模型進行了長達數小時的深度推理，提出讓評委耳目一新的解題方法。

阿里通義實驗室劉大一恒和卓越團隊演示了更深層的思維進化，當大模型“意識到”了原有回答的邏輯問題后，主動推翻之前的結論，調用了另一種方法進行交叉驗證，這顯示大模型已具備了強大的數學解題和思考泛化能力。

商湯科技肖鵬帶來的“日日新”模型，展示了大模型的某種數學直覺，即面對問題時沒有陷入暴力的數值計算，而是巧妙地將難題化歸為零，這被在場數學家稱為“機器的審美”。

字節跳動Seed團隊的袁正，則介紹了Seed-Prover模型采用形式化數學的路徑，既保障最終答案正確，也確保每一步推理嚴格，避免幻覺；通過測試時擴展的技術，大模型可以提高思考深度和寬度，有望解決更困難的數學問題。

上海市人工智能行業協會秘書長鐘俊浩向《經濟參考報》記者表示，人工智能的基礎是數學。有了基礎理論的支撐，行業才能更好定義邊界和看清未來，才有望解決人工智能面臨的不可解釋性和幻覺問題。AI也可以賦能數學家，AI解決數學問題的能力也在持續增強。