新智元報道編輯：編輯部【新智元導讀】陶哲軒的新論文，竟是用GPT-4輔助寫的？前不久，GitHub Copilot的驚人能力已經讓陶哲軒不安，現在，眾大佬齊呼數學研究...

克雷西 發自 凹非寺量子位 | 公眾號 QbitAI今年阿里巴巴全球數學競賽，有一位特殊的優秀獎得主——20歲漸凍癥少年樓印根（Lou Benjamin）。患有先天性殘疾的他...

選自量子雜志機器之心編譯編輯：rome rome數學的本質是什么？數學家渴求的客觀性真理是否能實現？人工智能等的發展和在數學中的應用會對數學產生什么樣的影響...

金磊 發自 凹非寺量子位 | 公眾號 QbitAIGitHub Copilot，又一次被數學大神陶哲軒“點名”了：我發現GitHub Copilot在撰寫我最近博客文章的過程中非常有幫助。...

新智元報道編輯：桃子【新智元導讀】ChatGPT多模態能力終于可以嘗鮮了！這周三，OpenAI剛剛宣布解禁ChatGPT多模態能力。如今，一上線，網友們瞬間玩瘋了。接...

機器之心報道編輯：Panda一個新數據集外加思維鏈和思維程序兩種方法之長，竟能讓開源 LLM 的數學推理追上 GPT-4 等閉源大模型。數學推理是現代大型語言模型（...

機器之心報道機器之心編輯部以 ChatGPT 為代表的大模型產品引領了一場新的產業革命，激發了國內外各機構積極投入相關技術研究的熱情。在過去幾個月的技術競爭...

新智元報道編輯：LRS【新智元導讀】數學通才「猛犸」模型給開源語言模型帶來了「推理春天」，面對GPT-4都有一戰之力！數學推理問題是語言模型繞不過的痛點，...

大數據文摘出品昨日，2023阿里全球數學競賽公布了獲獎名單，其中4位同學獲得金獎，分別是：瞿霄宇（北京大學）、李一笑（北京大學）、郝天澤（北京大學）、張...

楊凈 發自 北大量子位 | 公眾號 QbitAI剛剛，在中國最高學府，又一場全球數學狂歡落下帷幕。經過5個月賽程，阿里數學競賽最強四人名單出爐：他們平均年齡22歲...

最近，有一個新聞，大概是說一些機構的研究人員合作，通過“蘇格拉底式”嚴格推理，成功讓GPT-4得出了P≠NP的結論！這句話的表述就很“藝術”，讓人很容易理解成為...

來源：幻風的AI之路人工智能（Artificial Intelligence，簡稱AI）正以驚人的速度改變著我們的生活。然而，要實現智能的機器，離不開數學的支持。本文將帶你深...

來源：《改變世界的17個方程》作者：[英] 伊恩?斯圖爾特譯者：勞佳它告訴我們什么？它的外衣下就是牛頓第二運動定律。方程左側是小流體區域的加速度。右側是...

機器之心報道編輯：小舟數學研究工具可以隨 AI 模型的進展更新一波了。幾個月來，數學家陶哲軒多次嘗試使用 ChatGPT 輔助解決數學問題，并與大家分享他的試驗...

新智元報道編輯：Aeneas 好困【新智元導讀】陶哲軒早就預言，2026年GPT能幫數學家合著論文。今天，GPT-4就幫他寫出一段代碼，直接節省了半小時的工作量。剛剛...