微软发布了Orca数学问题数据集。该数据集被用于训练一些当前最先进的数学模型，现在可以被社区用于研究。

ConceptMath是一种新的双语基准，用于测试LLMs在英语和中文的数学技能。它的独特之处在于它将数学问题分解为特定的概念，从而允许更详细地评估AI在数学上的优势和劣势。 这项技术将有助于开发更准确的AI模型，以应对...

GitHub仓库发布了一个名为DeepSeekMath 7B的语言模型，专门设计用于解决复杂的数学问题。该模型训练了大量以数学为重点的内容，它可以理解数学问题的语法和语义，并根据其推理出答案。DeepSeekMath 7B是一个重要的AI...

FunSearch是一种人工智能系统，可以与特别训练的大型语言模型进行交互，创建生成数学问题解决方案的计算机程序。该系统会检查这些解决方案是否优于已知的解决方案，如果不是，它会向LLM提供反馈，以便下一轮改进。它...

最近的一项研究引入了一种名为“从错误中学习”（LeMa）的方法，通过从错误中学习来教授大型语言模型解决数学问题，类似于人类学生通过纠正错误来提高自己。

近日，人工智能技术公司Hugging Face Hub发布了一款名为Math Mistral的模型，该模型针对数学及推理能力进行了训练，具备强大的能力和广泛的应用场景。 Math Mistral是一种基于自然语言处理技术的模型，它可以帮助用...

尽管有人声称MathGLM可以解决数学问题，但实际上它仍然无法胜任这项任务。这一现象凸显了仅仅依赖于大型语言模型的局限性。近年来，基于神经网络的自然语言处理技术取得了长足进步，但在某些特定领域，仍然需要更为...

这项研究探讨了大型语言模型（LLMs）解决数学问题的能力，及各种不同因素如何影响它们的能力。研究人员发现，一种名为“拒绝采样精细调整”（Rejection sampling Fine-Tuning, RFT）的方法有助于这些模型在数学上的提...

MM-Vet是一种新的工具，用于测试大型语言模型(LLMs)处理涉及图像和文字的任务的能力，例如从照片中解决数学问题或解释图片中的笑话。这种工具的出现，为我们提供了一个全新的角度去评估和理解LLMs在图像和文字处理方...

近期的研究关注了人工智能语言模型GPT-3.5和GPT-4的更新如何改变它们在数学问题解决、回答棘手问题、编写代码和视觉思考等任务中的表现。这些更新不仅优化了算法，还提高了模型的执行效率。在数学问题解决方面，新版...