数学推理 – 量子位

数学推理

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

加载更多

热门文章

爱诗科技完成3亿美元C轮融资，鼎晖领投，开启“实时交互”视频生成新纪元

国内唯一入选的 AI 浏览器！QQ浏览器登上 a16z 全球 AI 应用榜单

阿里云发布手机“一键养虾”产品JVS Claw：3分钟实现养虾自由

全球首款手机龙虾秒光，OpenClaw创始人称愿与百度共同开发龙虾

360发布安全龙虾系列产品：以模治模构建智能体安全体系