AI资讯新闻榜单内容搜索-数学推理

关键词: Mistral AI,AI,Codestral Mamba 7B,AI数学

Mistral AI两款全新7B模型宣战OpenAI，对标更长的代码分析和更高效的数学推理。

关键词: GPT-3.5,模型训练,LLMs,GPT-4

大型语言模型（LLMs）在解决问题方面的非凡能力日益显现。最近，一个值得关注的现象是，这些模型在多项数学推理的基准测试中获得了惊人的成绩。以 GPT-4 为例，在高难度小学应用题测试集 GSM8K [1] 中表现优异，准确率高达 90% 以上。同时，许多开源模型也展现出了不俗的实力，准确率超过 80%。

关键词: Mistral AI,AI,大模型,Mamba2

网友很好奇，Mathstral能不能搞定「9.11和9.9谁大」这一问题。

关键词: AI数学,AI奥林匹克,Claude-3.5-Sonnet,GPT-4o

AI技术日新月异，近来Anthropic公司最新发布的Claude-3.5-Sonnet因在知识型推理、数学推理、编程任务及视觉推理等任务上设立新行业基准而引发广泛讨论

关键词: AI数学,MUSTARD,LLM,大模型, LLMs

近年来，大型语言模型（LLM）在数学应用题和数学定理证明等任务中取得了长足的进步。数学推理需要严格的、形式化的多步推理过程，因此是 LLMs 推理能力进步的关键里程碑， 但仍然面临着重要的挑战。

关键词: 小模型,AI数学,AI推理,Mistral-7B,微调

对于小型语言模型（SLM）来说，数学应用题求解是一项很复杂的任务。

关键词: ReAlign,数学推理,对齐,模型训练

大模型对齐新方法，让数学推理能力直接提升9%。

关键词: 变色龙框架,Chameleon,Ai框架

教大模型调用工具，已经是AI圈关注度最高的话题之一了。这不，又有一项研究登上最新NeurIPS 2023——它是一个叫做Chameleon（变色龙）的框架，号称能将大语言模型直接变成魔法师的工具箱，来自微软与加州大学洛杉矶分校（UCLA）。

关键词: LLMs,Chameleon,Tool-Augmented

UCLA等机构研发的Chameleon框架，在AI界引起广泛关注，获得超过100次学术引用，AlphaSignal评选其为「周最佳论文」。

关键词: UCLA,GPT-4V,多模态数学推理,MathVista

大型多模态模型会做数学题吗？在UCLA等机构最新发布的MathVista基准上，即使是当前最强的GPT-4V也会感到「挫败感」。