標簽:數學
陶哲軒點破「天機」:不懂數學別想靠ChatGPT飛升!
新智元報道編輯:Aeneas 好困 【新智元導讀】沖鋒在AI輔助數學研究第一線的陶哲軒,近日又有「神總結」:ChatGPT提升的,是我們在編碼、圖表等次要任務上的能...
2024阿貝爾獎得主致年輕數學家:你們選擇了絕對正確且完美的領域
新智元報道編輯:編輯部 【新智元導讀】2024年阿貝爾獎得主Michel Talagrand向年輕數學家分享建議的視頻引發了網友關于數學學習方法論的探討。學無定法,但是...
北大千問團隊推出數學專用版CriticGPT,“找茬”讓大模型進步更快
蔡澤凡 投稿量子位 | 公眾號 QbitAI批評不僅能讓人進步,也能讓大模型的能力提升。 OpenAI就用這個思路造了個“找茬模型”CriticGPT。非常巧合的是,就在Critic...
賈佳亞團隊新作:10k數據讓大模型數學能力超GPT-4
港中文賈佳亞團隊 投稿量子位 | 公眾號 QbitAI只要10k數據,就能讓大模型的數學成績增長5.6%。 港中文賈佳亞團隊推出了基于推理步驟的大模型優化策略,能夠像...
4人團隊斬獲首屆AI奧數競賽百萬大獎!AI29題陶哲軒驚呆,CMU華人博士榮登第二
新智元報道編輯:桃子喬楊 【新智元導讀】歷經3個月,首屆AI奧數競賽終于公布最終結果了!Gemma 7B只能達到3/50正確率的題目中,第一名的Numina模型居然刷出...
2024年度沃爾夫獎揭曉:RSA加密算法的開創者榮獲數學獎!
來源:知社學術圈 北京時間7月3日晚,2024年度沃爾夫獎揭曉,今年的科學類獎項授予了數學、醫學、農業和物理學領域的杰出科學家。RSA加密算法的開創者之一 Ad...
陶哲軒支持!AI數學奧林匹克競賽進步獎公布,獎金100多萬美元
機器之心報道 機器之心編輯部大模型做數學題到底如何,不妨讓它參與一下這種級別的比賽。「AI 數學奧林匹克競賽(AIMO 進步獎)的初步成績已公布。根據排行榜...
AI助攻「菜鳥數學家」解決忙碌海貍問題,陶哲軒轉發分享
機器之心報道 編輯:大盤雞、佳琪????在 AI 的幫助下,越來越多的數學問題得到了解決。AI在數學領域的應用對大家來說并不陌生了。數學家陶哲軒作為倡導者,一...
MATLAB四十:一場數學的“矩陣”|甲子光年
一家公司如何保持40年的創新力?作者|趙健??? 如果提到MathWorks這家公司,可能很多人都沒聽過。但若提起MATLAB,很多科研、工程領域的從業者,一定對它不陌...
蘋果發布會后刷屏的 iPad 計算器,最大的亮點不是算術
iPad 計算器 來了暌違十四年,iPad 迎來了一項「史詩級更新」——原生計算器。 蘋果高管克雷格·費德里吉曾說過,希望讓用戶看到(iPad 版的計算器)時會驚嘆「...
AI將是數學家的得力助手,陶哲軒談AI在證明過程中的潛力
機器之心報道 編輯:大盤雞AI 將大大提高數學研究的效率。陶哲軒是公認的數學天才,被譽為「數學神童」。他從小便展現出驚人的數學天賦,9 歲時就參加了美國...
陶哲軒最新采訪:AI將顛覆數學界!用Lean規模化,成百上千條定理一次秒殺
新智元報道編輯:庸庸 喬楊 【新智元導讀】陶哲軒在最新的采訪中,系統地談到了AI可能會對數學領域產生的影響。他樂觀地認為,使用Lean等工具「形式化」數學...
直覺與邏輯的碰撞:黎曼與黎曼猜想的誕生
來源:賽先生 作者:馬庫斯·杜·索托伊 最近,關于黎曼猜想的一項新研究在數學圈刷屏了。麻省理工學院數學教授Larry Guth和牛津大學菲爾茲獎得主James Maynard...
落魄宗門里的絕世高手!中專女生逆襲拿下數學競賽全球第12名,比大模型還強不少
夕小瑤科技說 原創作者 | Zicy這大概就是落魄宗門殺出來的絕世高手! 就在昨天,2024阿里巴巴全球數學競賽(簡稱“阿里數賽”)公布決賽名單,最終有來自全球17...
蘋果 12 大 AI 新功能提前看,iOS「史上最大更新」 倒計時 | WWDC24 前瞻
iOS 18 AI 不止 Siri猛料全加載 這是蘋果為即將到來的 WWDC 打出的宣傳口號。著名媒體人 Mark Gurman 表示,蘋果內部將 iOS 18 視為有史以來最重要的更新。 ...
粵公網安備 44011502001135號