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

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

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

原文地址： 访问原文地址
总结与预览地址：访问文章预览/总结
文章地址： 访问文章快照
推荐文章
量子位  ·  具身明星企业们：别卷模型了，数据才是行业最终的爆点｜WRC'26
23 小时前
爱可可-爱生活  ·  [人人能懂AI前沿] 解码大脑、重塑逻辑与应对“祸不单行”你是否-20260821072339
昨天
机器之心  ·  WorkSwarm让Agent组队干活，JiuwenBox安全沙箱守护每一步执行
昨天
哥飞  ·  做砸两个产品后，他把50多个AI模型装进一个网站，累计营收超过200万美元
2 天前
人工智能学家  ·  Openai新模型因过于强大而暂停训练和发布
2 天前
碳索储能  ·  天合光能2024半年报发布，储能业务累计出货近7GWh，光储融合优势凸显
1 年前
Zeta金工研究  ·  【中邮金工】各资金流入金融方向，市场仍需时间消化涨幅——行业轮动周报20241124
1 年前
知产前沿  ·  赔偿1500万元后再遭索赔10亿元 梅花生物及子公司被起诉侵犯商业秘密
1 年前
现代快报  ·  价格“跳水”！还要继续降！很多人爱吃
1 年前
羊城晚报  ·  被质疑“吃相难看”？周杰伦演唱会480元票只能看大屏，平台方回应→
1 年前
关于   移动版   ·   TodayRss海外   ·   RSS之家   ·   卧龙AI搜索
今天看啥 - 公众号rss, 微信rss, 微信公众号rss订阅, 稳定的RSS源
© 2025 ~ 沪ICP备11025650号