数学推理 – 量子位

数学推理

挑战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 代码解析器数学推理

加载更多

热门文章

又快又能打！匿名模型玉兔模型杀上双榜第一，Coding实测全记录

量子计算走上桌面！“小盒子”跑通端到端，数据全程不出门

啥题啊能干崩OpenAI最强模型训练…

量子AI创业来了一支“清华梦之队”：10亿估值，用量子改造大模型底层

HC归来，华为正重新定义AIDC基础设施