Pan Lu投稿量子位 | 公眾號 QbitAI大模型的“5年高考3年模擬”數學題來了，還是加強強強版！微軟、加州大學洛杉磯分校（UCLA）、華盛頓大學（UW）聯合打造全新...

新智元報道編輯：LRS 好困【新智元導讀】大型多模態模型會做數學題嗎？在UCLA等機構最新發布的MathVista基準上，即使是當前最強的GPT-4V也會感到「挫敗感」。...

01你見過用數學來解讀53度醬香酒的嗎？白酒+幾何，人文+數學。中國的酒文化，可不可能有另一種表達！管你呢，做不做是我的事，喜不喜歡是你的事。它們處于座...

點擊上方藍字關注我們圖：線性代數與概率理論：搞懂AI的關鍵數學基礎“?2·?arad?g?智能平方范式研究任重道遠。從理解SOTA(State of the Art)的大語言模型(LLM)...

豐色 蕭簫 發自 凹非寺量子位 | 公眾號 QbitAI專門為AI設立的IMO國際奧林匹克數學競賽來了——獎金足足1000萬美元那種！該比賽號稱要“代表新的圖靈測試”，怎么...

新智元報道編輯：青荻 潤【新智元導讀】在數學領域，一個全新的時代即將到來。LLEMMA，一個強大的數學專用語言模型，正在帶來革命性的性能、數據集和解決方案...

夢晨 發自 凹非寺量子位 | 公眾號 QbitAI如今很多大模型都聲稱擅長數學，誰有真才實學？誰是靠背測試題“作弊”的？有人在今年剛剛公布題目的匈牙利全國數學期...

機器之心專欄機器之心編輯部大型多模態模型會做數學題嗎？在微軟最新發布的 MathVista 基準上，即使是當前最強的GPT-4V 也會有「挫敗感」。微軟最近發布了名...

來源：中科院物理所??作者：Areeba Merriam翻譯：小聰審校：悅悅原文鏈接：Is the Universe Really Built on Mathematics??????????????????????學是上帝用來...

機器之心專欄機器之心編輯部中山大學和華為等機構的研究者提出了 LEGO-Prover，實現了數學定理的生成、整理、儲存、檢索和復用的全流程閉環。背景作為長鏈條...

克雷格 金磊 發自 凹非寺量子位 | 公眾號 QbitAI被譽為“20世紀最有影響力之一”的數學家卡拉比（Eugenio Calabi）逝世了，享年100歲。他的一生，為人類幾何學...

西風 魚羊 發自 凹非寺量子位 | 公眾號 QbitAI馬斯克的xAI，首項公開研究成果來了！共同一作之一，正是xAI創始成員、丘成桐弟子楊格（Greg Yang）。此前，楊...

機器之心報道編輯：大盤雞、杜偉大模型家族來了一個專門解決數學問題的「新成員」——Llemma。如今，在各種文本混合數據上訓練出來的語言模型會顯示出非常通用...

選自量子雜志機器之心編譯編輯：Panda W數學證明=計算機程序？什么是柯里-霍華德對應？一些科學發現被賦予了重要的意義，因為揭示了一些新的東西，比如 DNA ...

導語為了探索數學與人工智能深度融合的可能性，集智俱樂部聯合同濟大學特聘研究員陳小楊、清華大學交叉信息學院助理教授袁洋、南洋理工大學副教授夏克林三位...