数学推理 – 量子位

数学推理

挑战AI数学推理极限！大规模形式化数学基准FormalMATH发布，最强模型成功率仅16%

闻乐 2025-05-08

LLM 数学推理

让Qwen2.5 7B超越o1，微软干的！MSRA推出小模型数学推理自我进化新方法

共同一作为MSRA实习生、北大er

衡宇 2025-01-10

MSRA o1 数学推理

GPT-4o数学能力跑分直掉50%，上海AI Lab开始给大模型重新出题了

最强推理模型o1-mini也会下降3成6

一水 2024-12-18

数学推理

大模型版“5年高考3年模拟”来了！6141道数学题，还是多模态的那种｜微软&UCLA&UW联合出品

附带12个大模型112页“试题”分析

西风 2023-12-05

大模型大规模数据集数学推理

GPT-4数学再提30分，代码解析器任督二脉被打开，网友：像大脑的工作方式

新SOTA！

西风 2023-08-17

GPT-4 代码解析器数学推理

加载更多

热门文章

2026年世界人工智能大会，7月17-7月20上海举办

李飞飞署名具身新论文：Sim2Real烧不起，Real2Sim量大管饱

在联合国，这家中国公司给AI“减负”：不堆算力，而是给机器人装了个“类脑”

极简方案刷新扩散模型推理纪录，阿里清华论文入选ICML杰出论文

刚刚，LeCun团队让世界模型学会持续学习！