"数学推理"最新资讯 | 量子位

数学推理

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

加载更多

热门文章

起底“豆包手机”：核心技术探索早已开源，GUI Agent布局近两年，“全球首款真正的AI手机”

看完最新国产AI写的公众号文章，我慌了！

共推空天领域智能化升级！趋境科技与金航数码强强联手

Waymo认栽召回！搞不定校车难题，被抓到19次非法超车

乐奇Rokid这一年，一路狂飙不回头