注册    登录   
专栏名称: 量子位
վ'ᴗ' ի 追踪AI行业和技术动态，这里更快一步！关注我们，回复“今天”，更多大新闻等你来发现
购买VIP
提交新专栏
我也要提交微信公众号
今天看啥
公众号rss, 微信rss, 微信公众号rss订阅, 稳定的RSS源
TodayRss-海外RSS稳定源
目录
今天看啥  ›  专栏  ›  量子位

挑战AI数学推理极限！大规模形式化数学基准FormalMATH发布，最强模型成功率仅16%

量子位  · 公众号  · AI  · 2025-05-07 17:33
    

原文地址： 访问原文地址
总结与预览地址：访问文章预览/总结
文章地址： 访问文章快照
推荐文章
量子位  ·  科学家只管提问题，AI负责跑实验：深势科技把科研全流程搬进一个桌面
13 小时前
量子位  ·  OpenAI CFO剧透了IPO时间
昨天
爱可可-爱生活  ·  [AI]《The Problem Is the Problem:-20260820062228
昨天
PaperAgent  ·  近期，腾讯混元发了2篇不错的论文
2 天前
爱可可-爱生活  ·  恭喜@Plus_hill 等3名用户获得【《大模型高效推理双引擎-20260819121104
2 天前
前端从进阶到入院  ·  2024 Vue 最全的生态工具组合推荐指南
2 年前
斌叔OKmath  ·  为什么要免费提供：一周5节外教课#教育聊一聊##你好我的小孩# -20250204155937
1 年前
赛迪智库  ·  央视专访 | 储能行业重磅文件发布 如何让新型储能产业“走向世界”？
1 年前
财新  ·  缅甸地震亲历：曼德勒一栋11层公寓坍塌，多人被困
1 年前
深圳本地宝  ·  1810套！深圳前海6折保租房定向配租开始啦！
1 年前
关于   移动版   ·   TodayRss海外   ·   RSS之家   ·   卧龙AI搜索
今天看啥 - 公众号rss, 微信rss, 微信公众号rss订阅, 稳定的RSS源
© 2025 ~ 沪ICP备11025650号