標(biāo)簽：數(shù)學(xué)

跨越300多年的接力：受陶哲軒啟發(fā)，數(shù)學(xué)家決定用AI形式化費(fèi)馬大定理的證明

機(jī)器之心報(bào)道 編輯：張倩在陶哲軒的啟發(fā)下，越來越多的數(shù)學(xué)家開始嘗試?yán)萌斯ぶ悄苓M(jìn)行數(shù)學(xué)探索。這次，他們瞄準(zhǔn)的目標(biāo)是世界十大最頂尖數(shù)學(xué)難題之一的費(fèi)馬大...
閱讀原文

【數(shù)學(xué)數(shù)據(jù)集匯總】天才博士陶哲軒力薦數(shù)據(jù)集！含代碼、中文競(jìng)賽題目、正向逆向問答對(duì)等

上周，著名數(shù)學(xué)家陶哲軒在個(gè)人博客中發(fā)布了「AI for Math Resourses」的資源清單，旨在為那些有意進(jìn)入人工智能數(shù)學(xué)領(lǐng)域的人提供幫助，這份清單由「人工智能輔...
閱讀原文

MLLM真能看懂?dāng)?shù)學(xué)嗎？MathVerse來了次摸底測(cè)評(píng)，放出當(dāng)天登熱榜

AIxiv專欄是機(jī)器之心發(fā)布學(xué)術(shù)、技術(shù)內(nèi)容的欄目。過去數(shù)年，機(jī)器之心AIxiv專欄接收?qǐng)?bào)道了2000多篇內(nèi)容，覆蓋全球各大高校與企業(yè)的頂級(jí)實(shí)驗(yàn)室，有效促進(jìn)了學(xué)術(shù)...
閱讀原文

陶哲軒力薦！史上最全「數(shù)學(xué)AI資源」清單出爐

新智元報(bào)道編輯：好困 桃子 【新智元導(dǎo)讀】陶哲軒轉(zhuǎn)發(fā)的這份「數(shù)學(xué)AI資源清單」，干貨滿滿，全到讓你震撼。史上最全的「數(shù)學(xué)人工智能資源」清單出爐了。 陶哲...
閱讀原文

陶哲軒力薦、親自把關(guān)：AI for Math照這個(gè)清單學(xué)就對(duì)了

機(jī)器之心報(bào)道 編輯：陳萍在 AI for Math 領(lǐng)域，如果你一直找不到合適的資源，這份清單或許會(huì)有幫助。剛剛，著名數(shù)學(xué)家陶哲軒的個(gè)人博客又更新了，這次他們整...
閱讀原文

今日arXiv最熱大模型論文：清華大學(xué)發(fā)布，ChatGML又添新功能，集成“自我批評(píng)”，提升數(shù)學(xué)能力

夕小瑤科技說 原創(chuàng)作者 | 松果 引言：數(shù)學(xué)問題解決在大語言模型中的挑戰(zhàn)在當(dāng)今的人工智能領(lǐng)域，大語言模型（Large Language Models，LLMs）已經(jīng)在理解和生成...
閱讀原文

2023圖靈獎(jiǎng)得主揭曉！史上首位計(jì)算機(jī)和數(shù)學(xué)最高獎(jiǎng)“雙料王”誕生

夕小瑤科技說 原創(chuàng)作者 | Zicy重磅消息！北京時(shí)間4月10日下午5點(diǎn)整，ACM宣布把2023年圖靈獎(jiǎng)?lì)C給Avi Wigderson，以表彰Wigderson對(duì)計(jì)算理論和隨機(jī)性做出的奠基...
閱讀原文

AI攻克費(fèi)馬大定理？數(shù)學(xué)家放棄5年職業(yè)生涯，將100頁證明變代碼

新智元報(bào)道編輯：Aeneas 好困 【新智元導(dǎo)讀】困擾全世界幾個(gè)世紀(jì)的「臭名昭著」謎題——費(fèi)馬大定理，或?qū)⒈籄I攻克？一位英國數(shù)學(xué)家宣布，即將啟動(dòng)用Lean重現(xiàn)費(fèi)...
閱讀原文

AI顛覆數(shù)學(xué)研究！菲爾茲獎(jiǎng)得主、華裔數(shù)學(xué)家領(lǐng)銜11篇頂刊論文｜陶哲軒轉(zhuǎn)贊

新智元報(bào)道編輯：Aeneas 好困 【新智元導(dǎo)讀】毫無疑問，數(shù)學(xué)家的工作方式，正在被AI顛覆！陶哲軒轉(zhuǎn)發(fā)的這期美國數(shù)學(xué)學(xué)會(huì)通報(bào)，大咖云集，星光璀璨。針對(duì)AI改...
閱讀原文

陶哲軒轉(zhuǎn)發(fā)、菲爾茲獎(jiǎng)得主領(lǐng)銜：AI正在顛覆數(shù)學(xué)家的工作方式 | 美國數(shù)學(xué)學(xué)會(huì)特刊

夢(mèng)晨 發(fā)自 凹非寺量子位 | 公眾號(hào) QbitAI陶哲軒點(diǎn)贊轉(zhuǎn)發(fā)，《美國數(shù)學(xué)學(xué)會(huì)通報(bào)》用一整期特刊介紹了AI給數(shù)學(xué)帶來的改變。 這些文章讀起來很有趣，盡管使我自己...
閱讀原文

AI | MO數(shù)學(xué)競(jìng)賽啟動(dòng)，陶哲軒力薦！50題對(duì)3道，百萬大獎(jiǎng)抱回家

新智元報(bào)道編輯：Aeneas 好困 【新智元導(dǎo)讀】又一項(xiàng)針對(duì)AI模型的數(shù)學(xué)奧賽來了！只要在50道題中做出3道，就有可能把百萬美元大獎(jiǎng)抱回家。題目難度為人類的高中...
閱讀原文

開源11天，馬斯克再發(fā)Grok-1.5！128K代碼擊敗GPT-4

新智元報(bào)道編輯：桃子 好困 【新智元導(dǎo)讀】馬斯克「搞笑」模型剛剛升級(jí)到Grok-1.5，推理性能暴漲，支持128k長(zhǎng)上下文。最重要的是，Grok-1.5的數(shù)學(xué)和代碼能力...
閱讀原文

今日arXiv最熱NLP大模型論文：天津大學(xué)發(fā)布大模型數(shù)學(xué)能力細(xì)粒度評(píng)價(jià)基準(zhǔn)FineMath

夕小瑤科技說 原創(chuàng)作者 | Tscom 引言：大語言模型數(shù)學(xué)能力評(píng)估的重要性數(shù)學(xué)能力的評(píng)估對(duì)于理解和發(fā)展大語言模型（LLMs）至關(guān)重要。數(shù)學(xué)問題不僅涉及對(duì)數(shù)字的...
閱讀原文

傳奇大爺拿下“數(shù)學(xué)界諾貝爾獎(jiǎng)”；陶哲軒祝賀：他本應(yīng)更知名

豐色 發(fā)自 凹非寺量子位 | 公眾號(hào) QbitAI這是屬于概率論的高光時(shí)刻。 有著“數(shù)學(xué)諾貝爾獎(jiǎng)”之稱、與菲爾茲獎(jiǎng)齊名的阿貝爾獎(jiǎng)，今年頒給了72歲法國數(shù)學(xué)家米歇爾?...
閱讀原文

新的AI人工智能將如何影響數(shù)學(xué)研究？

大數(shù)據(jù)文摘授權(quán)轉(zhuǎn)載自zzllrr小樂 作者：Keith Devlin 譯者：zzllrr小樂 像ChatGPT這樣的大語言模型（Large Language Models，LLM）會(huì)改變新數(shù)學(xué)的發(fā)現(xiàn)方式嗎...
閱讀原文
1…678910…12