#学术审稿

用证明助手逐条核对统计论文

两位作者把语言模型智能体和证明助手组合起来，逐条核对统计论文里的证明，在三篇已发表论文中盲测找出了后来被勘误确认的错误。读完你会知道机器审证明做到了哪一步。