数学

LLaMA-2-7B数学能力上限已达97.7%？Xwin-Math利用合成数据解锁潜力

合成数据持续解锁大模型的数学推理潜力！数学问题解决能力一直被视为衡量语言模型智能水平的重要指标。通常只有规模极大的模型或经过大量数学相关预训练的模型才能有机会在数学问题上表现出色。近日，一项由 Swin-Transformer 团队打造，来自西安交通大学、中国科学技术大学、清华大学和微软亚洲研究院的学者共同完成的研究工作 Xwin 颠覆了这一认知，揭示了通用预训练下 7B（即 70 亿参数）规模的语言模型（LLaMA-2-7B）在数学问题解决方面已经展现出较强的潜力，并可使用基于合成数据的有监督微调方法促使模型愈发

3/14/2024 2:47:00 PM

机器之心

搞 AI，孩子必须学好数学：马斯克 Altman 罕见达成一致，LeCun / Jeff Dean 等 31 位大佬签署联名信

【新智元导读】基础数学已经被拔高到研究 AI 的必经之路！UC 伯克利教授发起最新倡议，31 位 AI 大佬共同签署联名信，马斯克和 Altman 竟达成一致。就在刚刚，UC 伯克利 EECS 教授 Jelani Nelson 联合发起了一个倡议，强调「坚实的数学基础对人工智能至关重要」。地址：「虽然 Elon Musk 和 Sam Altman 最近在很多问题上都有分歧，但他们都认同，AI 的构建是以代数和微积分等坚实的数学基础为支撑的。」目前，已经有 31 位业内大佬在上面签署了自己的名字。要想搞好 AI，就必

3/7/2024 9:56:48 PM

清源

想搞AI，高中别学数据科学：奥特曼、马斯克此刻终于一致了

高中阶段学习数据科学能不能代替数学，这个话题的讨论已经延伸到了 AI 圈。为了 AI 的发展，再不加强基础教育就晚了。在大模型技术高速发展，各家公司激烈竞争的同时，有人站出来对于未来的人才表示了担忧，焦点在于数学。近日，加州大学（UC）系统对于入学新生设立数学基础标准的消息掀起了轩然大波。随着全国范围内数学成绩的下降，一些教育工作者认为，标准的代数密集型数学教育需要改革，既可以吸引更多的学生，也可以帮助他们在日益依赖数据的未来培养相关技能。有组织称，目前至少有 17 个州已把「数据科学」作为高中数学教育的可选项，俄

3/7/2024 3:07:00 PM

机器之心

2023阿里全球数学竞赛获奖名单出炉，诞生最年轻满分金奖，年仅17岁

五届阿里全球数学竞赛，走出了十余名新生代数学家。

9/18/2023 9:29:00 AM

新闻助手

千亿级、数学专用，MathGPT大模型开始公测了

好未来推出数学领域千亿级大模型 MathGPT ，做好 AI 时代数学基础工作。

8/24/2023 2:21:00 PM

机器之心

学而思研发面向全球数学爱好者大模型MathGPT

面向全球数学爱好者和科研机构，计划于年内推出据了解，学而思正在进行自研数学大模型的研发，命名为MathGPT，面向全球数学爱好者和科研机构，以数学领域的解题和讲题算法为核心，目前已经取得阶段性成果，并将于年内推出基于该自研大模型的产品级应用。据悉，学而思已将MathGPT作为公司核心项目，由CTO田密负责，今年春节前，该项目已经启动相应的团队建设、数据、算力准备和技术研发。此外，学而思已经启动在美国硅谷的团队建设，将成立一支海外算法和工程团队，在全球范围内招募优秀的人工智能专家加入。MathGPT与大语言模型（LL

5/5/2023 4:55:00 PM

新闻助手

网传张益唐宣称解决黎曼猜想相关朗道-西格尔零点猜想，论文11月将公布

张益唐曾表示：不要盲目崇拜权威，要敢于挑战传统。对那些别人说不可能做到的事，要勇于探索。如果真正热爱，就永不放弃。

10/16/2022 12:36:00 PM

机器之心

全职任教清华，73岁丘成桐受聘清华大学讲席教授

首位华人诺贝奖获得者杨振宁先生，首位华人图灵奖获得者姚期智先生，首位华人菲尔兹奖获得者丘成桐先生，现已齐聚清华。正值清华大学求真书院成立一周年之际，担任求真书院院长的丘成桐正式宣布，将全职加入清华工作。4 月 20 日上午，丘成桐清华大学讲席教授聘任仪式在清华主楼接待厅举行。图源：清华大学新闻网在就职演讲中，丘成桐追忆了自己的老师、著名数学家陈省身先生，并表示自己接受清华大学的聘请、回到陈先生的母校任教，正是因为肩负着传承先生薪火、为祖国培养拔尖数学人才的使命。我在不同的场合阐释过数学的本质：数学是唯一与时不变的真

4/21/2022 5:07:00 PM

机器之心