AI资讯新闻榜单内容搜索-Math

关键词: AI,IneqMath,模型训练,人工智能

大语言模型解决不等式证明问题时，可以给出正确答案，但大多数时候是靠猜。推理过程经不起推敲，逻辑完全崩溃。

关键词: AI,模型训练,MathFusion,AI数学

当前数学领域的数据生成方法常常局限于对单个问题进行改写或变换，好比是让学生反复做同一道题的变种，却忽略了数学题目之间内在的关联性。

关键词: 数据集,AI数学,模型训练,DeepMath-103K

本文将介绍 DeepMath-103K 数据集。该工作由腾讯 AI Lab 与上海交通大学团队共同完成。

关键词: AI,AI数学家,AI Mathematician,AIM框架

AI数学家来了！清华团队出品—— 他们推出AI Mathematician（AIM）框架，推理模型也能求解前沿理论研究，并且证明完成度很高。

关键词: AI,模型训练,Epoch AI,FrontierMath

一年之内，大模型推理训练可能就会撞墙。

关键词: AI,模型训练,FormalMATH,AI基准

最强AI模型面对5560道数学难题，成功率仅16.46%？背后真相大揭秘。

关键词: AI,AI奥数,AI数学,NemoSkills

AIMO2冠军「答卷」公布了！英伟达团队NemoSkills拔得头筹，开源了OpenMath-Nemotron系列AI模型，1.5B小模型击败14B-DeepSeek「推理大模型」！

关键词: MegaMath,数学预训练数据集,模型训练,数据集

在大模型迈向推理时代的当下，数学推理能力已成为衡量语言模型智能上限的关键指标。

关键词: AI,MathArena,AI评测,人工智能

在数学推理中，大语言模型存在根本性局限：在美国数学奥赛，顶级AI模型得分不足5%！来自ETH Zurich等机构的MathArena团队，一下子推翻了AI会做数学题这个神话。

关键词: AI,模型训练,MV-MATH,人工智能

挑战多图数学推理新基准，大模型直接全军覆没？！