-
通义千问开源Qwen2-Math，成为最先进的数学专项模型
8月9日消息，阿里通义团队开源新一代数学模型Qwen2-Math，包含1.5B、7B、72B三个参数的基础模型和指令微调模型。Qwen2-Math基于通义千问开源大语言模型Qwen2研发，旗舰模型 Qwen2-Math-72B-Instruct在权威测评集MATH上的得分超越GPT-4o、Claude-3.5-Sonnet、Gemini-1.5-Pro、Llama-3.1-405B等，以84%的准…- 7
- 0
-
Qwen2-Math 开源 AI 模型发布：阿里通义千问家族新成员，数学能力超 GPT-4o
感谢阿里通义千问 Qwen2 开源家族迎来新成员 Qwen2-Math，共有 15 亿参数、70 亿参数和 720 亿参数三个版本，是基于 Qwen2 LLM 构建、专门用于数学解题的语言模型。简介Qwen2-Math 是一系列基于 Qwen2 LLM 构建的专门用于数学解题的语言模型，其数学能力显著超越了开源模型，甚至超过了闭源模型（如 GPT-4o），官方希望为科学界解决需要复杂多步逻辑推理的…- 25
- 0
-
声称“媲美人类专家”，google Gemini 1.5 Pro 数学版“提智”：MATH 基准准确率 91.1%
google公司上周发布技术报告，表示 Gemini 1.5 Pro 模型在经过专门的数学领域训练之后，大幅提高了数学课题，并成功办理了国际数学奥林匹克竞赛的部分课题。google针对数学场景有针对性地训练 Gemini 1.5 Pro 模型，并通过 MATH 基准、美国数学邀请考试（ AIME) 和google内部的 HiddenMath 基准进行尝试。根据google的数据，数学型 Gemin…- 22
- 0
-
为什么人工智能可以给数学带来革命性变化
编辑 | 白菜叶「提出一个假想——一个被怀疑为真的命题，但需求明确的注明——对数学家来说就像是神圣灵感的时刻。数学假想不仅仅是有根据的猜测。制定它们需求天才、直观和经验的结合。即使是数学家也很难解释自己的发觉过程。然而，与直观相反，我认为这是机械智能最初最具变革性的范围。」英国伦敦数学科学研讨所所长 Thomas Fink 说。2017 年，伦敦数学科学研讨所的研讨职员开始将机械学习应用于数学数据…- 8
- 0
-
LLaMA-2-7B数学威力上限已达97.7%？Xwin-Math利用分解数据解锁后劲
分解数据持续解锁大模型的数学推理后劲！数学课题办理威力一直被视为衡量言语模型智能水平的重要指标。通常只有规模极大的模型或经过大量数学相关预训练的模型才能有机会在数学课题上表现出色。近日，一项由 Swin-Transformer 团队打造，来自西安交通大学、中国科学技术大学、清华大学和微软亚洲钻研院的学者共同完成的钻研工作 Xwin 颠覆了这一认知，揭示了通用预训练下 7B（即 70 亿参数）规模的…- 5
- 0
-
搞 AI，儿童必要学好数学：马斯克 Altman 罕见达成一致，LeCun / Jeff Dean 等 31 位大佬签署联名信
【新智元导读】前提数学已经被拔高到研究 AI 的必经之路！UC 伯克利教授发起最新倡议，31 位 AI 大佬共同签署联名信，马斯克和 Altman 竟达成一致。就在刚刚，UC 伯克利 EECS 教授 Jelani Nelson 联合发起了一个倡议，强调「坚硬的数学前提对人工智能至关重要」。地址：「虽然 Elon Musk 和 Sam Altman 最近在很多问题上都有分歧，但他们都认同，AI 的构…- 3
- 0
-
想搞AI，高中别学数据迷信：奥特曼、马斯克此刻终于一致了
高中阶段进修数据迷信能不能替代数学，这个话题的讨论已经延伸到了 AI 圈。为了 AI 的发展，再不加强本原教训就晚了。在大模型技术高速发展，各家公司激烈竞争的同时，有人站出来对于未来的人才表示了担忧，焦点在于数学。近日，加州大学（UC）系统对于退学新生设立数学本原规范的消息掀起了轩然大波。随着全国范围内数学成绩的下降，一些教训工作者认为，规范的代数密集型数学教训须要改革，既可以吸引更多的门生，也可…- 6
- 0
-
-
-
学而思研发面向环球数学爱好者大模型MathGPT
面向环球数学爱好者和科研机构，计划于年内推出据了解，学而思正在进行自研数学大模型的研发，命名为MathGPT，面向环球数学爱好者和科研机构，以数学范畴的解题和讲题算法为核心，目前已经取得阶段性成果，并将于年内推出鉴于该自研大模型的产物级应用。据悉，学而思已将MathGPT作为公司核心项目，由CTO田密负责，今年春节前，该项目已经启动相应的团队建设、数据、算力准备和技术研发。此外，学而思已经启动在美…- 7
- 0
-
-
-
全职任教清华，73岁丘成桐受聘清华大学讲席熏陶
首位华人诺贝奖获得者杨振宁老师，首位华人图灵奖获得者姚期智老师，首位华人菲尔兹奖获得者丘成桐老师，现已齐聚清华。正值清华大学求真学堂创造一周年之际，担任求真学堂院长的丘成桐正式宣布，将全职加入清华工作。4 月 20 日上午，丘成桐清华大学讲席熏陶聘任仪式在清华主楼接待厅举行。图源：清华大学新闻网在就职演讲中，丘成桐追忆了自己的老师、著名数学家陈省身老师，并表示自己接受清华大学的聘请、回到陈老师的母…- 32
- 0
-
中国队喜提六枚金牌，实现IMO团队三连冠：王一川拿下全场唯一满分
在 IMO 2021 的赛场上，中国队又一次实现了「全员金牌」并喜提冠军，来自华师大二附中的选手王一川更是取得了全场唯一的满分成果。- 8
- 0
-
-
-
-
-
数学奥赛冠军都做不对的题，却被拿来考ML模型？GPT-3：我不行
为了衡量机器学习模型的数学求解能力，来自 UC 伯克利和芝加哥大学的研究者提出了一个包含 12, 500 道数学比赛难题的新型数据集 MATH，以及帮助模型学习数学基础知识的预训练数据集 AMPS。研究发现，即使是大参数的 Transformer 模型准确率也很低。- 8
- 0
扫码打开当前页
-
￥优惠劵使用时效：无法使用使用时效：
之前
使用时效：永久有效优惠劵ID：×