首页
资讯
数码
智能车
智库
活动
MEET大会
AIGC
扫码关注量子位
数学推理
挑战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
代码解析器
数学推理
加载更多
热门文章
谷歌智能体发力:增强版Gemini Deep Research和专属API都来了
2025-12-12
中国机器人比赛应急救援,美国网友Reddit破防:我们还在给机器狗化妆拍段子
2025-12-12
钉钉又发新版本!把 AI 搬进每一次对话和会议
2025-12-11
MEET2026挤爆了,AI圈今年最该听的20+场演讲&对谈都在这
2025-12-11
马斯克霸气回怼Waymo:连对抗特斯拉的机会都没有
2025-12-11