標簽:定理

陶哲軒:AI時代,數學研究將進入前所未有的規模

來源:量子位編輯:西風 陶哲軒最新演講公開,AI含量爆表。 在IMO 2024現場,“陶神”帶來了洋洋灑灑1個小時的精彩分享,主題就叫:AI與數學。他怎么看AI和數學...
閱讀原文

陶哲軒IMO演講全文:一次性解決一千個問題,AI讓數學擺脫蠻力計算

機器之心報道 機器之心編輯部在探索「數學之美」的路上,人工智能到底走到哪一步了?說到這個話題,可能沒人比數學家陶哲軒更懂。他幾乎是最常用 AI 輔助證明...
閱讀原文

DeepSeek開源數學大模型,高中、大學定理證明新SOTA

機器之心報道 機器之心編輯部DeepSeek-Prover-V1.5 通過結合強化學習和蒙特卡洛樹搜索,顯著提升了證明生成的效率和準確性。AI 技術與數學發現的進展,正前所...
閱讀原文

CMU清華教LLM練成數學高手,LeanSTaR訓練模型邊思考邊證明,登頂新SOTA

新智元報道編輯:喬楊 耳朵 【新智元導讀】LLM數學水平不及小學生怎么辦?CMU清華團隊提出了Lean-STaR訓練框架,在語言模型進行推理的每一步中都植入CoT,提...
閱讀原文

陶哲軒趙宇飛學生聯手攻下組合數學難題,23年來首次突破

克雷西 魚羊 發自 凹非寺量子位 | 公眾號 QbitAI陶哲軒和趙宇飛的學生聯手,給數學界整了個新驚喜: 讓組合數學領域最大難題之一——從無序中證明有序,取得了2...
閱讀原文

AI頂會ICML收了一篇論文:沒算法沒實驗

蔡永強 投稿量子位 | 公眾號 QbitAI沒有算法沒有實驗,從2610篇收錄論文中脫穎而出,成為唯一一篇純理論入選2024 ICML Spotlight的論文。 “Vocabulary for Un...
閱讀原文

AI將是數學家的得力助手,陶哲軒談AI在證明過程中的潛力

機器之心報道 編輯:大盤雞AI 將大大提高數學研究的效率。陶哲軒是公認的數學天才,被譽為「數學神童」。他從小便展現出驚人的數學天賦,9 歲時就參加了美國...
閱讀原文

CVPR‘24全程滿分+最佳論文候選!上交大港中文等提出神經場網格模型三大定理

純真學者出神入化投稿量子位 | 公眾號 QbitAI在CV、ML等領域經常用到的神經場網格模型,如今有了理論框架描述其訓練動力學和泛化性能。 來自上交大,港中文和...
閱讀原文

MLP一夜掉,全新神經網絡架構KAN破紀錄!MIT華人一作,輕松復現Nature封面AI數學研究

夕小瑤科技說 分享來源 | 量子位一種全新的神經網絡架構KAN,誕生了! 與傳統的MLP架構截然不同,且能用更少的參數在數學、物理問題上取得更高精度。 比如,2...
閱讀原文

MLP 的時代結束了?全新神經網絡架構 KAN 橫空出世,MIT華人一作!

文章轉載自公眾號:AI科技大本營,本文只做學術/技術分享,如有侵權,聯系刪文。 多層感知器(MLP, Multilayer Perceptron)作為人工神經網絡的一個基本架構...
閱讀原文

數學遇上人工智能,深度學習架構迎來最強挑戰者 KAN,MLP 的時代結束了

來源:《新程序員》編輯部 文:王啟隆 多層感知器(MLP, Multilayer Perceptron)作為人工神經網絡的一個基本架構,一直在歷史上扮演著至關重要的角色。MLP ...
閱讀原文

ICLR 2024 Spotlight | 無懼中間步驟,MUSTARD可生成高質量數學推理數據

AIxiv專欄是機器之心發布學術、技術內容的欄目。過去數年,機器之心AIxiv專欄接收報道了2000多篇內容,覆蓋全球各大高校與企業的頂級實驗室,有效促進了學術...
閱讀原文

跨越300多年的接力:受陶哲軒啟發,數學家決定用AI形式化費馬大定理的證明

機器之心報道 編輯:張倩在陶哲軒的啟發下,越來越多的數學家開始嘗試利用人工智能進行數學探索。這次,他們瞄準的目標是世界十大最頂尖數學難題之一的費馬大...
閱讀原文

Transformer要變Kansformer?用了幾十年的MLP迎來挑戰者KAN

機器之心報道 機器之心編輯部MLP(多層感知器)用了幾十年了,真的沒有別的選擇了嗎?多層感知器(MLP),也被稱為全連接前饋神經網絡,是當今深度學習模型的...
閱讀原文

全新神經網絡架構KAN一夜爆火!200參數頂30萬,MIT華人一作,輕松復現Nature封面AI數學研究

白交 衡宇 發自 凹非寺量子位 | 公眾號 QbitAI一種全新的神經網絡架構KAN,誕生了! 與傳統的MLP架構截然不同,且能用更少的參數在數學、物理問題上取得更高...
閱讀原文
123