首页
资讯
数码
智能车
智库
活动
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
代码解析器
数学推理
加载更多
热门文章
开源模型叫板Nano Banana Pro!Stable Diffusion原班人马杀回来了
2025-11-26
大模型首次拥有“脖子”!纽大团队实现360度类人视觉搜索
2025-11-27
NeurIPS 2025放榜:阿里Qwen门控注意力获最佳论文,何恺明Faster R-CNN获时间检验奖
2025-11-27
对话韩旭:双重上市后,英才校招300万起步
2025-11-28
中国唯一!阿里千问斩获全球AI顶会最佳论文
2025-11-28