数学推理 – 量子位

数学推理

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

加载更多

热门文章

4nm！比亚迪自研AI芯片来了：制程对齐英伟达，算力拉爆特斯拉

DeepSeek V4芯模协同背后，国产算力生态开始飞轮加速

面壁智能「开源周」：一场定义端侧 AI 终局的系统性「亮剑」

创意设计版WorkBuddy来了！腾讯发布智能体创意工作室Miora

7B打败o3、GPT-5！医学AI智能体让模型学会“看哪里、怎么看”