标签：数学推理
杭州95后学霸坐C位，Grok 3登顶App Store！Hinton高徒、多伦多华人博士领衔
Grok 3的发布标志着人工智能领域进入推理智能体时代。该模型在xAI的Colossus超级计算集群上训练，运算能力达到现有顶尖模型的10倍，通过20万块GPU的算力支持...
不蒸馏R1也能超越DeepSeek，上海 AI Lab 用RL突破数学推理极限
上海AI Lab针对大语言模型在数学推理任务中面临的稀疏奖励困境、局部正确陷阱及规模依赖魔咒，提出了基于结果奖励的强化学习新范式OREAL。该框架通过正样本模...
开源22万条DeepSeek R1的高质量数据！你也能复现DeepSeek了
DeepSeek-R1模型的开源引发了全球技术社区对模型复现的热潮，其中Hugging Face主导的Open R1项目成为焦点。该项目通过公开训练代码、评估工具和合成数据集，...
7B模型数学推理击穿o1，直逼全美20%尖子生！四轮进化，微软华人新作爆火
微软亚研院的全华人团队提出了一种名为rStar-Math的新算法，该算法通过三项技术创新，使得小型语言模型（SLM）在数学推理能力上取得了突破性进展，甚至超越了...
让7B千问模型超越o1，微软rStar-Math惊艳登场，网友盛赞
微软亚洲研究院的研究团队提出了一种名为rStar-Math的小型语言模型（SLM），在数学推理能力上表现出色，能够媲美甚至超越OpenAI的o1模型。rStar-Math通过自我...
重大突破！微软发布“自我进化”，帮小模型超OpenAI-o1
微软亚洲研究院近期发布了一项名为rStar-Math的创新算法，该算法通过结合代码增强的Chain-of-Thought（CoT）和蒙特卡洛树搜索（MCTS）技术，显著提升了小参数...
斯坦福打脸大模型数学水平：题干一改就集体降智，强如o1也失准，能力涌现怕不是检索题库
斯坦福大学的研究揭示了大型语言模型（LLMs）在数学推理任务中的一个显著弱点：仅通过改变题目中的变量名称和取值范围，就能显著降低模型的准确率。这一发现...
OpenAI o1是真有实力！港大权威AB测试，国家队奥数题照样拿下
香港大学研究人员对OpenAI的Orion-1（o1）模型进行了严格的AB测试，以评估其数学推理能力。研究者通过比较o1在国际数学奥林匹克（IMO）和中国国家队训练营（C...
微软：两个AI相互纠错，数学再涨5分
加州大学和微软研究院的研究者们提出了一种名为Flow-DPO的新方法，旨在提升大型语言模型（LLM）在数学问题解答中的推理能力。该方法通过在线学习流（Flow）和...
AI做数学学会「动脑子」！ UCL等发现LLM「程序性知识」，推理绝不是背答案
最近，UCL和Cohere等机构的研究人员发现，在执行推理任务时，大型语言模型（LLM）表现出一种“程序性知识”。这项研究挑战了人们对于LLM仅通过简单检索来推理的...
