幾何，數(shù)學(xué)中研究空間結(jié)構(gòu)及性質(zhì)的一門學(xué)科，各位讀者在中學(xué)肯定都學(xué)過一些，但學(xué)的好的有幾何？筆者知道不少學(xué)霸小伙伴此時會瀟灑一笑，心里默念“有我一個”...

克雷西 發(fā)自 凹非寺量子位 | 公眾號 QbitAI我們的生活中處處都有數(shù)學(xué)的影子，甚至是文學(xué)作品中也不例外…… 至于數(shù)學(xué)具體如何蘊于文學(xué)之中，有位英國數(shù)學(xué)家專門...

來源：陳方的發(fā)現(xiàn)數(shù)學(xué)之旅 圖的模空間是數(shù)學(xué)中一個迷人的主題，與各種領(lǐng)域有聯(lián)系，包括拓撲、代數(shù)幾何和數(shù)學(xué)物理。特別是它與代數(shù)曲線理論密切相關(guān)，代數(shù)曲線...

新智元報道編輯：編輯部 【新智元導(dǎo)讀】今天，谷歌DeepMind的AlphaGeometry模型登上了Nature！30道IMO幾何題中，它能做出25道，已經(jīng)接近人類金牌選手的水平！...

機器之心報道 編輯：澤南、陳萍這項工作代表了 AI 在數(shù)學(xué)推理上的能力突破，是開發(fā)通用 AI 系統(tǒng)方面的重要里程碑。 這一次，人工智能算法在數(shù)學(xué)奧林匹克競賽...

點擊上方藍字關(guān)注我們“Google DeepMind的AlphaGeometry系統(tǒng)在解決幾何問題方面幾乎趕上了世界最聰明學(xué)生的水平。其成功回答了國際數(shù)學(xué)奧林匹克競賽高中組的25...

來源：CAA會員服務(wù) 作者：郭雷（中國科學(xué)院院士、中國自動化學(xué)會會士） 內(nèi)容來源：《中國學(xué)科發(fā)展戰(zhàn)略·控制科學(xué)》 編輯：高天慧 責(zé)任編輯：叩穎 轉(zhuǎn)自：集智俱...

導(dǎo)語2023年12月的 NeurIPS 會議上舉辦了許多主題研討會，其中 MATH AI 研討會為第三屆，主題為“數(shù)學(xué)推理與AI”。數(shù)學(xué)推理是人類認知的基本方面，涉及分析復(fù)雜...

機器之心專欄 機器之心編輯部在當(dāng)前智能對話模型的發(fā)展中，強大的底層模型起著至關(guān)重要的作用。這些先進模型的預(yù)訓(xùn)練往往依賴于高質(zhì)量且多樣化的語料庫，而如...

大數(shù)據(jù)文摘授權(quán)轉(zhuǎn)載自zzllrr小樂 作者：拉斐拉·穆拉斯（Raffaella Mulas） 譯者：zzllrr小樂拉茲洛·洛瓦茲（László Lovász，1948 -，以下簡稱LL）是匈牙利數(shù)...

——不能只知道牛頓，還要知道他的偉大對手萊布尼茨Gottfried Wilhelm Leibniz引誰能戰(zhàn)勝牛頓……300年前，人類一直跟隨牛頓的思想； 300年后，人類開始追隨萊布...

機器之心報道編輯：陳萍現(xiàn)在，數(shù)學(xué)輔助證明工具都用上了大模型。「我預(yù)計，如果使用得當(dāng)，到 2026 年，AI 將成為數(shù)學(xué)研究和許多其他領(lǐng)域值得信賴的合著者。」...

夕小瑤科技說 原創(chuàng)作者 | 付奶茶谷歌DeepMind大模型最新研究突破來了！這次谷歌DeepMind提出了一種使用大語言模型搜索數(shù)學(xué)和計算機科學(xué)新解決方案的方法 FunS...

新智元報道編輯：編輯部【新智元導(dǎo)讀】歷時三周，陶哲軒成功地用AI工具完成了形式化多項式Freiman-Ruzsa猜想證明過程的工作。他再次呼吁數(shù)學(xué)研究者學(xué)會正確利...

豐色 發(fā)自 凹非寺量子位 | 公眾號QbitAI國產(chǎn)大模型剛剛出了一位全新選手：參數(shù)670億的DeepSeek。它在近20個中英文的公開評測榜單上直接超越了同量級、700億的...