标签:数学

今日arXiv最热大模型论文:上海AI lab发布MathBench,GPT-4o的数学能力有多强?

夕小瑶科技说 原创作者 | 谢年年大模型数学能力哪家强? 最近,上海AI lab构建了一个全面的多语言数学基准——MathBench。与现有的基准不同的是,MathBench涵盖...
阅读原文

今日arXiv最热大模型论文:LoRA又有新用途,学得少忘得也少,成持续学习关键!

夕小瑶科技说 原创作者 | Axe_越自大模型(LLM)诞生以来,苦于其高成本高消耗的训练模式,学界和业界也在努力探索更为高效的参数微调方法。其中Low-Rank Ada...
阅读原文

克雷研究所100万美元奖金要归AI了数学界规则大改,未来数学家如何应对「海量猜想」

新智元报道编辑:LRS 【新智元导读】数学领域,以其廉价的数据及问题的严谨性,成为了人工智能辅助发现的理想试验场,但唯有人类自己,才能区分出好猜想和坏...
阅读原文

中国数学的10个问题,其实岂止是数学!

数学家丘成桐谈到 中国数学水平不及美国1940年代! 一石激起千层浪,很多人奋起反驳。 这只是表面现象, 其实他讲到的中国数学的另外10点更加重要。 以下这十...
阅读原文

中国需要数学家

数学是科学的皇后壹大国的崛起是数学的崛起。 表面上数学与国家强盛毫无关系,但如果细究发展动因,最后会明白,数学才是社会发展最底层的引擎。 1854年之前...
阅读原文

86岁「最会赚钱的数学家」Jim Simons去世,量化投资一代传奇落幕!

新智元报道编辑:乔杨 好困 【新智元导读】Simons基金会宣布了创始人Jim Simons逝世的消息,他的去世引发了金融界、科技界和数学界等多个领域的悼念。他年轻...
阅读原文

AlphaGo核心算法增强,7B模型数学能力直逼GPT-4,阿里大模型新研究火了

鱼羊 发自 凹非寺量子位 | 公众号 QbitAI把AlphaGo的核心算法用在大模型上,“高考”成绩直接提升了20多分。 在MATH数据集上,甚至让7B模型得分超过了GPT-4。 ...
阅读原文

丘成桐院士最新演讲:中国现今的数学处于什么水平?为什么物质奖励不奏效?

2024年4月30日丘成桐院士在华中科技大学做“中国数学的现状和将来”的讲座。来源:知本论综合数学物理math、华中科技大学研究生 、胡哥的读书观影笔记 来源:华...
阅读原文

ICLR 2024 Spotlight | 无惧中间步骤,MUSTARD可生成高质量数学推理数据

AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年,机器之心AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术...
阅读原文

跨越300多年的接力:受陶哲轩启发,数学家决定用AI形式化费马大定理的证明

机器之心报道 编辑:张倩在陶哲轩的启发下,越来越多的数学家开始尝试利用人工智能进行数学探索。这次,他们瞄准的目标是世界十大最顶尖数学难题之一的费马大...
阅读原文

【数学数据集汇总】天才博士陶哲轩力荐数据集!含代码、中文竞赛题目、正向逆向问答对等

上周,著名数学家陶哲轩在个人博客中发布了「AI for Math Resourses」的资源清单,旨在为那些有意进入人工智能数学领域的人提供帮助,这份清单由「人工智能辅...
阅读原文

MLLM真能看懂数学吗?MathVerse来了次摸底测评,放出当天登热榜

AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年,机器之心AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术...
阅读原文

陶哲轩力荐!史上最全「数学AI资源」清单出炉

新智元报道编辑:好困 桃子 【新智元导读】陶哲轩转发的这份「数学AI资源清单」,干货满满,全到让你震撼。史上最全的「数学人工智能资源」清单出炉了。 陶哲...
阅读原文

陶哲轩力荐、亲自把关:AI for Math照这个清单学就对了

机器之心报道 编辑:陈萍在 AI for Math 领域,如果你一直找不到合适的资源,这份清单或许会有帮助。刚刚,著名数学家陶哲轩的个人博客又更新了,这次他们整...
阅读原文

今日arXiv最热大模型论文:清华大学发布,ChatGML又添新功能,集成“自我批评”,提升数学能力

夕小瑶科技说 原创作者 | 松果 引言:数学问题解决在大语言模型中的挑战在当今的人工智能领域,大语言模型(Large Language Models,LLMs)已经在理解和生成...
阅读原文
13456710