行業動態
中國社科院語言學重點實驗室釋出5項成果
中國社會科學院語言學重點實驗室在京舉行首次成果釋出會，釋出5項研究成果，包括西夏文數智平臺、學前兒童普通話發音智慧測評系統等教育。其中，學前兒童普通話發音智慧測評系統入選國家關鍵領域語言科技賦能創新專案案例。成果涵蓋基礎研究、應用研究和文化傳承發展，強調語言文字與人工智慧雙向賦能，推動語言學與其他學科交叉融合。
OpenAI宣稱耗時88小時教育，解開有著90年曆史的納維斯托克斯數學難題
OpenAI使用一萬個智慧體耗時88小時攻克了90年曆史的納維斯托克斯方程問題教育。該公司表示，這些智慧體依靠自研AI模型協同工作，包括呼叫工具、讀取網際網路快取版本和執行程式碼。然而，紐約大學數學教授特里斯坦巴克馬斯特對OpenAI的研究提出了質疑，認為其解題路徑與他和同事的研究思路相似。克雷數學研究所尚未對OpenAI提出的解法發表評論。
11 天、30 萬美元教育：AI 攻破 358 年數學難題的最後一關
Anthropic的AI模型Claude在11天內完成了費馬大定理的機器驗證，這是首個端到端、可由計算機完整檢查的形式化證明教育。該證明基於Lean程式語言和Prove2Me工具，涉及1300萬行程式碼和約60億個輸出Token。這項成就在數學界引發廣泛討論，儘管AI沒有發現新的數學定理，但它證明了AI可以將人類最複雜的數學成果轉化為機器可驗證的形式。
AI 首次“形式化”證明費馬大定理
美國AI公司Anthropic開發的AI聊天機器人Claude首次將費馬大定理轉化為計算機驗證程式碼，僅用11天完成人類預計10年的專案教育。這一成果表明AI在核驗數學家工作及產生新數學推理方面將發揮重要作用。儘管Claude生成的程式碼包含大量中間定理，可能面臨多個不相容Lean庫的挑戰，但數學界仍對此表示歡迎，認為AI或許不久能審視整個數學知識庫。
北京中關村學院院長劉鐵巖教育：AI的未來將被年輕人重新定義
北京中關村學院舉行2026級新生開學典禮，黨委書記、院長劉鐵巖鼓勵學生加入人工智慧領域的未來實驗教育。學院強調培養人工智慧領軍人才，與國家戰略發展同步。典禮上，提及1956年達特茅斯學院提出人工智慧概念，強調學院肩負培養頂尖AI人才、研發核心技術、成為頂級智庫的使命。北京中關村學院與哈爾濱工業大學等31所高校共建，深化人才培養等合作。學院擁有百餘名全職教師、頂尖學者工作室、先進實驗室等資源，並舉辦X科技節，旨在推動科技創新與產業融合。
本文由小歐AI基於億歐資料生成，如有問題及建議，歡迎透過網站底部聯絡方式和我們聯絡教育。
