AITOP6月11日 15:28
精选
过去 24 小时，从 356 条中筛出 13 条
6月11日
15:28
1107 vs 303：谷歌悄悄开源了一个“拆打字机”的模型，把大模型速度翻了4倍
15:23
AITOP6月11日 15:23
15:07
AITOP6月11日 15:07
6月1日
00:09
AITOP6月1日 00:09
5月19日
09:57
09:57
arXiv cs.AI@Wentao Long, Yunfei Zhang, Chenyi Li, Li Zhou, Chumin Sun, Zaiwen Wen
精选
推荐理由：做形式化验证或AI数学推理的团队终于有了应用数学方向的专用基准，比纯代数题更贴近实际工程场景，建议关注其失败模式分析来改进模型。