论文Agent 与开发者14:16Ramanujan Challenge 发布 AI 辅助评审流水线，判定研究级数学证明数论基准 Ramanujan Challenge 的团队做了个评审流水线，自动判研究级数学证明，误判率从 23% 压到 6%，做数学 AI 评测的可以看看。#Ramanujan Challenge#Lean#数学证明#评测基准aarXiv cs.AI@Alan Sorani 等 11 人原文稍后读已读值得跟进有用关注 Ramanujan Challenge