標簽：函數

谷歌AI一分之差痛失IMO金牌！19秒做一題碾壓人類選手，幾何AI超進化震撼評委

新智元報道編輯：編輯部 【新智元導讀】就在剛剛，谷歌DeepMind最新的數學模型捧得了IMO奧數銀牌！它不僅以滿分成績做出了6道題中的4道，距離金牌只有1分之差...
閱讀原文

Nature 重磅論文：用 AI 生成的數據訓練 AI，會讓大模型崩潰

文章轉載自「新智元」。我們知道，訓練大模型需要大量的數據積累，隨著技術的發展，高質量數據逐漸成為AI進步的強烈需求。 面對這樣的情況下，為了提升模型能...
閱讀原文

AI訓AI慘遭投毒9次大崩潰，牛津劍橋等驚天發現登Nature封面！

新智元報道編輯：編輯部 【新智元導讀】9次迭代后，模型開始出現詭異亂碼，直接原地崩潰！就在今天，牛津、劍橋等機構的一篇論文登上了Nature封面，稱合成數...
閱讀原文

幾何朗蘭茲猜想被解決！歷時30年、證明論文達800余頁，中國學者陳麟系主要作者

來源：量子位 | 公眾號 QbitAI 明敏 克雷西 發自 凹非寺9位數學家、橫跨30余年、5篇論文共計800+頁…… 幾何朗蘭茲猜想，終于被證明！ 它是朗蘭茲綱領的幾何化...
閱讀原文

復旦大學：沒錢標數據的有福了！利用合成數據就能大幅提升大模型歸納推理能力

夕小瑤科技說 原創作者 | 謝年年推理，作為人類的基本認知過程，對于學習、問題解決和科學發現起著至關重要的作用。常見的推理方式包括演繹推理和歸納推理。 ...
閱讀原文

數學大統一理論里程碑進展：幾何朗蘭茲猜想獲證明，論文超800頁

選自quantamagazine 作者：Erica Klarreich 機器之心編譯 編輯：Panda歷經三十年的努力，數學家已經成功證明了一個名為「朗蘭茲綱領（Langlands program）」...
閱讀原文

只激活3.8B參數，性能比肩同款7B模型！訓練微調都能用，來自微軟

克雷西 發自 凹非寺量子位 | 公眾號 QbitAI只需激活60%的參數，就能實現與全激活稠密模型相當的性能。 微軟亞洲研究院的一項新研究，實現了模型的完全稀疏激...
閱讀原文

一枚「棄子」打破80年黎曼猜想紀錄！菲爾茲獎得主MIT大拿聯手，陶哲軒轉贊

新智元報道編輯：Aeneas 好困 【新智元導讀】MIT數學教授Larry Guth和牛津大學菲爾茲獎得主James Maynard，在黎曼猜想方面取得了重大突破，直接打破了80多年...
閱讀原文

登頂開源AI軟件工程師榜首，UIUC無Agent方案輕松解決SWE-bench真實編程問題

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

端側設備AI代理優化框架問世，領域內準確率可達97%

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

ICML 2024 | 梯度檢查點太慢？不降速、省顯存，LowMemoryBP大幅提升反向傳播顯存效率

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

沒想到！AlphaZero式樹搜索也能用來增強大語言模型推理與訓練

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

裁決中的P與NP以及復雜性的復雜度

作者：Benjamin Skuse 譯者：zzllrr小樂 如果我請你出庭作證，對一長串數字按照從低到高的順序進行排序，與解決一個巨大的數獨難題一樣復雜，你可能會認為我...
閱讀原文

陶哲軒點破「天機」：不懂數學別想靠ChatGPT飛升！

新智元報道編輯：Aeneas 好困 【新智元導讀】沖鋒在AI輔助數學研究第一線的陶哲軒，近日又有「神總結」：ChatGPT提升的，是我們在編碼、圖表等次要任務上的能...
閱讀原文

從RLHF到DPO再到TDPO，大模型對齊算法已經是「token-level」

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