DeepSeek开源Prover-V2强推理模型,网友:奥数从没这么简单过
这次 DeepSeek 团队发布了两个版本的 DeepSeek-Prover-V2 模型，参数规模分别为 7B 和 671B。其中，DeepSeek-Prover-V2-671B 是在 DeepSeek-V3-Base 基础上训练而成，而 DeepSeek-Prover-V2-7B 则基于 DeepSeek-Prover-V1.5-Base 构建，并支持最长 32K tokens 的上下文长度扩展。DeepSeek-Prover-V2-7B 链...
“如何用DeepSeek让孩子成为年级第一?”它的回答让我震惊了……
·搭配「碎片时间轰炸」:将单词录音设置为起床铃/洗漱背景音 这里给出的几个方案,是比较概括性的,如果姐妹们觉得哪些细节不清楚,可以自己再追问一下DeepSeek,让它完善出来。 当然,大家也可以把孩子的具体问题再跟DeepSeek交代清楚,让它专...
做美国奥数题顶级模型现场翻车!最高得分5%,DeepSeek唯一逆袭
DeepSeek-R1表现最好，得分为4.76%；而表现最差的OpenAi o3-mini（high）比上一代o1-pro（high）还差，得分为2.08%。各顶尖模型在2025 USAMO中的得分 就在今天，这项研究再次被关注到，直接成为了Reddit的热议话题。具体来说，在这项研究中，模型需要在2025年USAMO的六道基于证明的数学题上进行了测试。每道...
用DeepSeek辅导孩子学数学,效果超乎想象!(附实用指南,速收藏)
(下载APP 或 登陆官网使用:https://chat.deepseek.com/) 有人用它来获取写作灵感,有人用来当情感树洞,有人用来算命,其实用来学习是非常妙的。 它的“深度思考”模型,在解数学题上拳打 GPT-4o,代码能力碾压 96%人类程序员,甚至自己琢...
如何教娃用deepseek辅助奥数学习?不妨从画容斥原理图开始
如何教娃用deepseek辅助奥数学习?不妨从画容斥原理图开始 朋友你好,我的朵爸,一个独立奥数老师。 最近五年级寒假班两次课的内容: 一是抽屉原理; 二是容斥原理。 抽屉原理要求学生必须有一定的抽象思维能力和建立模型能力的基础,所以放在小学高年级...
做美国奥数题顶级模型现场翻车!最高得分5%,DeepSeek却唯一逆袭
有专家现场调侃："这就好比让背熟《唐诗三百首》的学生即兴作诗，结果憋半天只写出打油诗。"评分过程堪称黑色幽默。明明解题过程漏洞百出，AI们给自己打分时却个个都像得了满分。某款模型把关键证明步骤标为"显而易见"，评委们气得直拍桌子："我们奥数金牌得主都要想半天的题目，到你这就成'显而易见'了？"更...
AI数学神话破灭?奥数题难倒顶级模型,DeepSeek逆袭!
平均得分率不到5%，最高的DeepSeek-R1也就4.76%，其他的更别提了，简直是“一败涂地”。更搞笑的是，这些LLM还特别自信，给自己打的评分比专家给的高出20倍！真是“不知天高地厚”。就好比小学生做奥数题，连题目都没看懂就觉得自己能拿满分。为啥这些LLM表现这么差呢？专家们分析了一下，发现主要有三个...
2025美国最新奥数题,大模型集体翻车,DeepSeek R1平均分也不到5%
为弥补这一不足，专注于评估大模型数学能力的 MathArena 平台的研究人员，首次全面评估了模型解决复杂数学问题的完整推理和证明构建能力。美国数学奥林匹克竞赛（USAMO）是全球最具挑战性的中学生数学竞赛之一。首先，该赛事强调严格证明与逻辑严谨性，题目均为证明题，要求选手通过严密的逻辑推导和完整的数学语言呈现解答...
AI数学神话破灭:奥数题难倒顶级模型,DeepSeek成唯一亮点
然而，就在一片哀鸿遍野之际，DeepSeek却意外地脱颖而出。虽然它的表现也称不上完美，但在众多模型中却显得格外亮眼。DeepSeek的成功，或许为我们指明了一条新的研究方向：在提升AI数学能力的过程中，是否需要更多地关注模型的基础逻辑和创造性思维？MathArena团队的这项研究，无疑是对AI领域的一次深刻反思。它提醒...
AI数学神话破灭?奥数题难倒顶级模型,DeepSeek力挽狂澜!
其中，表现最好的是谷歌的DeepSeek-R1，但也只是勉强及格线的零头。而之前在AIME上耀武扬威的OpenAI o3-mini，这次直接翻车，得分还不如它的“前辈”o1-pro。看来，这“出道即巅峰”的故事，在人工智能界也适用啊。更让人哭笑不得的是，这些人工智能还特别自信，给自己打的评分，比专家给的，足足高了二十多倍...
美奥数题挑战AI,顶级模型失利,DeepSeek逆袭
AI做奥数题？这事儿吧，有点一言难尽……最近，数学圈子发生了一件挺热闹的事儿，几个顶尖的人工智能（就叫它“AI”吧，省事儿）跑去挑战美国奥数，结果嘛，有点惨烈。这就像让小学生去做高考题，考完老师直摇头，这都哪儿跟哪儿啊？这事儿的起因是这样的，有些AI之前在一些数学比赛里表现不错，让不少人...
美国奥数题顶级模型惨败!最高得分5%,DeepSeek独占鳌头
ETH Zurich 等机构的研究团队，弄了一套2025年的USAMO试题，让这些模型去做。这USAMO可不是闹着玩的，难度跟国际奥数差不多，得写出完整的证明过程，容不得半点马虎。结果这些模型，一个个都抓瞎了，最高分也就4.76%，还是DeepSeek-R1拿的。其他的，就更别提了，简直是大型翻车现场。更搞笑的是，这些模型还...
2025美国最新奥数题,大模型集体翻车,DeepSeekR1平均分也不到5%
从普通学生的视角来USAMO的题目简直就是天书。但对于AI来说，这些题目真的有那么难吗？结果令人大跌眼镜。所有AI模型的平均得分都不到5%，没有一个能完全解答任何一道题。看起来AI的数学能力似乎被高估了。难道AI真的无法攻克奥数难题？一些人开始质疑，是不是测试方法有问题？或者说，AI的训练方式需要改进？研究...
用DeepSeek辅导孩子数学学习与心理,顶100个老师和育儿专家!(附...
DeepSeek在这点上我们感觉无论效果和效率都完胜了绝大部分的老师,他可以根据这个题目的知识点,再出具多个不同难度和考核深度的题目,甚至还非常符合目前新课标考核的情景题和跨学科问题。 他甚至读得懂我问问题的心理: 下面是它思考后给...
美国奥数撕碎AI数学神话顶级模型翻车最高得分5%DeepSeek唯一逆袭
不过要说全军覆没也不尽然。国产的DeepSeek模型在第四题上差点给出完美证明，离满分只差临门一脚。这道涉及垂心对称和圆相交的几何题，连人类考生都要抓耳挠腮，AI能走到这步已属不易。评审组组长在报告里特别提到："当看到那个近乎正确的证明时，我的手抖了一下——既期待又害怕，就像当年批改到自己学生的考卷...
DeepSeek:教育智能化变革的新引擎
中公教育通过私有化部署DeepSeek-R1,构建了动态解析10万+企业招聘需求的智能选岗系统,匹配精度较传统算法提升47%,并支持模拟面试中的实时话术优化。 2. 代码教育新范式 DeepSeekCoder模型可自动生成Python/Java等代码案例,教师可设置「代码填空」「错误修复」等互动任务。测试显示,使用该工具的学生算法实现效率提升60%。
啊!DeepSeek-R1、o3-mini能解奥数题却算不了多位数乘法?
看起来，至少在多位数乘法任务上，非智能的计算器比推理大模型更可靠。看到这个消息后，机器之心也去试了试 DeepSeek-R1 能否计算多位数乘法。首先，我们尝试了让两个随机写的 9 位数相乘：456347891 乘以 390869523 等于多少？令人惊讶的是，DeepSeek-R1 在思考了足足 240 秒之后成功给出了正确答案。接下来我们...
我们用最近很火的DeepSeek挑战了物理所出的竞赛题,结果... | 内附...
近日,我国“深度求索”公司发布的具备深度思考和推理能力的开源大模型DeepSeek-R1受到了全世界的关注。在DeepSeek-R1之前,美国OpenAI公司的GPT-o1,Athropic公司的Claude,Google公司的Gemini,都号称具备了深度思考和推理能力。这些模型在专业人士和吃瓜网友的五花八门的测试中,表现的确是惊才绝艳。特别引起我们兴趣的,是...
多元推理刷新人类最后考试记录,o3-mini(high)准确率飙升到37%
近段时间，DeepSeek R1 推理模型引爆了国内外社交媒体，让人们见识到了大语言模型类人的深度思考能力。虽然 DeepSeek R1、OpenAI o1 和 o3 等推理模型在数学和编程领域取得了重大进展，但在面对一些测试基准时仍然力不从心，比如国际数学奥林匹克竞赛（IMO）组合问题、抽象和推理语料库（ARC）谜题和人类的最后考试（...
美国奥数题撕碎AI神话:顶级模型集体翻车,DeepSeek成唯一亮点
在所有参与测试的模型中，开源模型DeepSeek-R1表现最为亮眼，特别是在问题4的测试中几乎接近满分的推导，让许多人看到了一丝曙光。问题4是关于锐角三角形垂心对称点的几何关系证明题，DeepSeek-R1通过极其复杂的步骤接近完整证明。虽然最终答案因为细节疏漏（缺乏某一符号条件）被判失分，但模型表现出了在几何和代数...