首页
资讯
智能车
智库
活动
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
代码解析器
数学推理
加载更多
热门文章
京东AI影视创作大赛正式开启：最高10万元奖金 千万流量扶持
2026-01-14
DeepSeek母公司去年进账50亿，够烧2380个R1
2026-01-13
王小川：30亿现金在手，明年IPO，toC产品马上就发
2026-01-13
Claude版Manus只用10天搓出，代码全AI写的！网友：小扎140亿并购像冤大头
2026-01-14
美团龙猫LongCat技术升级！新注意力机制解码速度快10倍，还能处理1M超长文本
2026-01-13
