标签:数学
跨越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道,就有可能把百万美元大奖抱回家。题目难度为人类的高中...
开源11天,马斯克再发Grok-1.5!128K代码击败GPT-4
新智元报道编辑:桃子 好困 【新智元导读】马斯克「搞笑」模型刚刚升级到Grok-1.5,推理性能暴涨,支持128k长上下文。最重要的是,Grok-1.5的数学和代码能力...
今日arXiv最热NLP大模型论文:天津大学发布大模型数学能力细粒度评价基准FineMath
夕小瑶科技说 原创作者 | Tscom 引言:大语言模型数学能力评估的重要性数学能力的评估对于理解和发展大语言模型(LLMs)至关重要。数学问题不仅涉及对数字的...
传奇大爷拿下“数学界诺贝尔奖”;陶哲轩祝贺:他本应更知名
丰色 发自 凹非寺量子位 | 公众号 QbitAI这是属于概率论的高光时刻。 有着“数学诺贝尔奖”之称、与菲尔兹奖齐名的阿贝尔奖,今年颁给了72岁法国数学家米歇尔•...
新的AI人工智能将如何影响数学研究?
大数据文摘授权转载自zzllrr小乐 作者:Keith Devlin 译者:zzllrr小乐 像ChatGPT这样的大语言模型(Large Language Models,LLM)会改变新数学的发现方式吗...