菲爾茲獎得主鄧煜談 AI：已能幫助數學證明，但不能替代獨立思考
重點摘要
首頁 > 智能時代>人工智能 菲爾茲獎得主鄧煜談 AI：已能幫助數學證明，但不能替代獨立思考 2026/7/24 18:38:38 來源：鳳凰科技 作者：- 責編：沁滄 評論： 7 月 24 日，2026 年菲爾茲獎得主、芝加哥大學教授鄧煜近日在接受採訪時透露，他在數學研究中會使用 AI 輔助工具，GPT 曾幫助解決一個連續幾天未能突破的數學特例。
2026年菲爾茲獎得主、芝加哥大學教授鄧煜近日在接受媒體專訪時，分享了他對人工智慧在數學研究領域應用的第一手觀察。這位年僅三十多歲的頂尖數學家坦言，自己在日常研究中已頻繁使用AI輔助工具，並認為這些工具「已經讓很多研究環節方便了不少」，但他同時強調，AI目前仍無法取代人類的獨立思考與嚴謹判斷。 鄧煜透露，在近期一項未公開的數學工作中，他遇到了一個主要命題的特殊情形，連續數日都無法找到突破口。就在他即將放棄這個特例時，他試著將問題描述輸入給GPT模型，結果AI給出了一個非常簡單且完整的證明，迅速處理了那個特例。雖然這個證明無法直接推廣到一般情形，最終並未寫入論文，但鄧煜認為，這個過程提供了有價值的思路，幫助他釐清了局部結構。 他進一步說明，自己對於AI的使用方式相當務實。對於一些基本確定為真的簡單結論，他會直接請AI給出證明，再親自檢查邏輯是否嚴謹；當遇到不熟悉的領域時，AI也能補充他原先不知道的知識，例如某個組合計數問題對應的既有數學結構或標準結論，這些資訊大幅縮短了文獻搜尋的時間。 鄧煜指出，目前AI在數學研究中最有價值的角色，並非直接產出最終定理，而是協助研究者迅速探索局部路線。即使AI無法完成整個證明，它的推論過程也能激發人類的靈感。「很多時候，你只要把問題拆解成小塊，AI就能給出讓你意想不到的切入點。」他說。 他期待未來能出現一種更成熟的協作模式：人類研究者負責總體框架與核心思路，而AI則幫助完成部分技術性推導，例如繁瑣的代數計算、窮舉檢驗或模式比對。這種分工如果能實現，將大幅提升數學研究的效率，讓科學家能專注於更具創造性的問題。 不過，鄧煜也對年輕研究者提出明確警告。他強調，對剛進入科研領域的學生而言，使用AI時必須保持高度的判斷力，「不能因為AI給出了一段看似完整的論證，就跳過獨立判斷和嚴格核驗這些必要的步驟。」他指出，AI生成的內容有時看似合理，但可能在關鍵步驟存在邏輯漏洞，若不經檢驗就採用，反而會誤導研究方向。 談到AI對數學本質的影響，鄧煜認為，數學是一門需要深度思考與長期累積的學科，AI提供的便利不應成為捷徑。他回憶自己攻讀博士期間，經常為了某個問題苦思數週，那段過程雖然痛苦，卻也訓練出紮實的直覺與推理能力。他擔心，若學生過度依賴AI，可能會削弱這種獨立攻堅的能力。 鄧煜的觀點在學界引起討論。支持者認為，AI確實能幫助處理繁瑣的技術細節，讓數學家更專注於創造性思考；反對者則擔心，若研究者習慣先問AI而後再思考，可能導致原創性下降。對此，鄧煜表示，任何工具都有其適用範圍，關鍵在於使用者能否保持批判性思維。 他舉例說明，AI在數學中的應用目前仍有明顯限制。例如，它往往無法理解問題的深層結構，也難以進行跨領域的類比推理。在鄧煜自己的研究中，那些最核心的突破性想法，依然來自於人類的直覺與長時間的冥思苦想。AI或許能幫助他走出局部困境，但無法替代他對整體問題的掌握。 展望未來，鄧煜認為AI在數學領域的潛力遠未被開發完畢。他相信，隨著模型對數學語言的理解越來越精確，未來可能出現專門為數學研究設計的AI助手，能夠自動化驗證、推導甚至生成猜想。但他也重申，無論技術如何進步，獨立思考與嚴謹邏輯永遠是數學研究不可動搖的基石。 鄧煜於2026年獲得菲爾茲獎，是該獎項歷史上最年輕的得主之一。他的研究領域涵蓋組合數學、機率論與數論，近年來也開始關注AI對數學教育的影響。他目前正在芝加哥大學帶領一個跨學科團隊，探索如何將大型語言模型整合進數學研究的標準流程中。
Related
相關文章
宇樹發佈輪足機器人 As2-W：速度 6m/s、IP54 級防水、空載續航距離超 30km
首頁 > 智能時代>具身智能 宇樹發佈輪足機器人 As2-W：速度 6m/s、IP54 級防水、空載續航距離超 30km 2026/7/24 20:41:31 來源：IT之家 作者：沁滄（實習） 責編：沁滄 評論： 感謝IT之家網友 風見暉一 的線索投遞！ IT之家 7 月 24 日消息，宇樹科技今日發佈新產品 As2-W 輪足機器人（機器狗），官方稱其可以 16kg 持續負重長效作業，空載續航距離超 30km。IT之家從官方宣傳視頻中獲悉，As2-W 可實現 6m/s 高速疾馳，並完成高臺俯衝、側向翻轉、騰空轉體等動作；具備 IP54 級防水，可踏水穿流。據悉，這款機器人在年初發布的 As2 基礎上增加了四個主動輪，結合了輪式移動的速度與效率以及四足結構的越障能力。As2-W 自重約 25kg，負重可達 180kg，視頻還顯示其搭載預訓練 RL 模型 6.0。相關閱讀：《宇樹發佈 Unitree As2“可載人”四足機器人：空載續航超 4 小時，負載 15kg 續航超 13km》廣告聲明：文內含有的對外跳轉鏈接（包括不限於超鏈接、二維碼、口令等形式），用於傳遞更多信息，節省甄選時間，結果僅供參考，IT之家所有文章均包含本聲明。 投訴水文 我要糾錯 下載IT之家APP，簽到賺金幣兌豪禮 相關文章關鍵詞：宇樹，輪足機器人，As2W，機器狗宇樹科技 CEO 王興興登上《時代》雜誌封面，近 2.7 米高的 GD01 載人機甲幾乎佔滿畫面宇樹王興興：具身智能“ChatGPT 時刻”有望最快兩三年內到來，大家要提前做好準備宇樹發佈 UnifoLM-OminiA-0.3 模型，支持全模態交互理解宇樹科技王興興：機器人一定會走向普通消費者，今天的機器人就像 30 年前的個人電腦全球首例：美國研究團隊遠程操控宇樹 G1 人形機器人完成活體動物外科手術宇樹科技科創板 IPO 審核狀態變更為注
漲價與降價並存：AI視頻生成“冰火兩重天”
賬號設置我的關注我的收藏申請的報道退出登錄登錄搜索36氪Auto數字時氪未來消費智能湧現未來城市啟動Power on36氪出海36氪研究院潮生TIDE36氪企服點評36氪財經職場bonus36碳後浪研究所暗湧Waves硬氪氪睿研究院媒體品牌企業號企服點評36Kr研究院36Kr創新諮詢企業服務核心服務城市之窗政府服務創投發佈LP源計劃VClubVClub投資機構庫投資機構職位推介投資人認證投資人服務尋求報道36氪Pro創投氪堂企業入駐創業者服務創投平臺AI測評網 首頁快訊資訊推薦財經AI自助報道廣東最新創投汽車科技專精特新直播視頻專題活動搜索尋求報道我要入駐城市合作漲價與降價並存：AI視頻生成“冰火兩重天”DoNews·2026年07月24日 20:28一邊“即貴”，一邊“骨折” 7月以來，AI視頻賽道接連爆出重磅 消息 ：快手旗下可靈AI完成近30億美元首輪獨立融資，投後估值衝上180億美元，創下全球 視頻 大模型公司單輪融資紀錄，同時明確了2031年前完成IPO的硬性時間表 ； 幾乎同一時間，愛詩科技拿下29.8億元C輪融資，阿里、騰訊、百度等巨頭罕見同檯佈局，讓原本就硝煙瀰漫的AI視頻戰場，進入了“高估值、高投入、高競爭”的全新階段。 資本熱潮席捲之下，AI視頻賽道正上演一場極致割裂的定價大戲。一邊是字節即夢AI價格三連漲，被用戶調侃為“即貴”，另一邊卻是可靈、萬興科技等玩家接連降價，以骨折價爭奪市場。 隨著AI視頻行業的技術窗口期持續縮短，算力成本居高不下，用戶需求日趨分層，各大玩家被迫走向分化——要麼憑藉技術優勢溢價鎖定高價值用戶，要麼依靠低價策略搶佔市場規模與生態陣地。當價格戰觸及算力成本紅線時，這場競爭的終局，又會在哪裡？ 01.字節的“價格分裂”：C端漲價、B端腰斬 Sora關停的第二天，字節旗下即夢AI悄悄拉開漲價大幕。首輪調整直接取消高級會員4折優惠，生成
馬斯克：AI可能滅絕人類，像一枚20%概率會爆炸的火箭，但我還是會坐上去
賬號設置我的關注我的收藏申請的報道退出登錄登錄搜索36氪Auto數字時氪未來消費智能湧現未來城市啟動Power on36氪出海36氪研究院潮生TIDE36氪企服點評36氪財經職場bonus36碳後浪研究所暗湧Waves硬氪氪睿研究院媒體品牌企業號企服點評36Kr研究院36Kr創新諮詢企業服務核心服務城市之窗政府服務創投發佈LP源計劃VClubVClub投資機。
一年暴漲100倍，AI最被低估的生意爆發了
賬號設置我的關注我的收藏申請的報道退出登錄登錄搜索36氪Auto數字時氪未來消費智能湧現未來城市啟動Power on36氪出海36氪研究院潮生TIDE36氪企服點評36氪財經職場bonus36碳後浪研究所暗湧Waves硬氪氪睿研究院媒體品牌企業號企服點評36Kr研究院36Kr創新諮詢企業服務核心服務城市之窗政府服務創投發佈LP源計劃VClubVClub投資機。
AI辦公，阿里得靠“千問辦公”換個打法
阿里巴巴在AI辦公領域調整策略，推出「千問辦公」產品，整合通義千問大模型能力，專注於文檔協作、會議紀要與流程自動化等辦公場景。此舉意在避開通用AI領域的激烈競爭，透過與企業協作平台的深度結合，建立差異化優勢以提升市場滲透率。
Anthropic被曝9月上市，還要限制員工出售股票
智東西（公眾號：zhidxcom） 編譯 | 茄子 編輯 | 程茜 智東西7月24日消息，昨日，The Information援引知情人士報道，美國大模型獨角獸Anthropic最早可能於今年9月上市，該公司正在考慮要求員工按照預先設定的交易計劃出售股票，以避免員工因掌握內部信息而觸及內幕交易風險。