标签:数学

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)已经在理解和生成...
阅读原文

2023图灵奖得主揭晓!史上首位计算机和数学最高奖“双料王”诞生

夕小瑶科技说 原创作者 | Zicy重磅消息!北京时间4月10日下午5点整,ACM宣布把2023年图灵奖颁给Avi Wigderson,以表彰Wigderson对计算理论和随机性做出的奠基...
阅读原文

AI攻克费马大定理?数学家放弃5年职业生涯,将100页证明变代码

新智元报道编辑:Aeneas 好困 【新智元导读】困扰全世界几个世纪的「臭名昭著」谜题——费马大定理,或将被AI攻克?一位英国数学家宣布,即将启动用Lean重现费...
阅读原文

AI颠覆数学研究!菲尔兹奖得主、华裔数学家领衔11篇顶刊论文|陶哲轩转赞

新智元报道编辑:Aeneas 好困 【新智元导读】毫无疑问,数学家的工作方式,正在被AI颠覆!陶哲轩转发的这期美国数学学会通报,大咖云集,星光璀璨。针对AI改...
阅读原文

陶哲轩转发、菲尔兹奖得主领衔:AI正在颠覆数学家的工作方式 | 美国数学学会特刊

梦晨 发自 凹非寺量子位 | 公众号 QbitAI陶哲轩点赞转发,《美国数学学会通报》用一整期特刊介绍了AI给数学带来的改变。 这些文章读起来很有趣,尽管使我自己...
阅读原文

AI | MO数学竞赛启动,陶哲轩力荐!50题对3道,百万大奖抱回家

新智元报道编辑:Aeneas 好困 【新智元导读】又一项针对AI模型的数学奥赛来了!只要在50道题中做出3道,就有可能把百万美元大奖抱回家。题目难度为人类的高中...
阅读原文
15678912