arXiv · NLP· Alan Sorani, Ashvni Narayanan, Michael Shalyt, Tali Monderer, Rotem Kalisch, Hila Barkan, Elyasheev Leibtag, Shachar Weinbaum, Carsten Schneider, John Campbell, Ido Kaminer·· 6 小时前AI 评分35
Ramanujan Challenge 结果：多格式证明的 AI 辅助评估管道
Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs
AI 导读
分析 Ramanujan Challenge 投稿，验证了 AI 模型在数论研究级问题上的相对成功率，并发现了一个未发表猜想的证明。该基准包含具体公式，其正确性可数值检查，但证明可能涉及非显而易见的数学。
来源：arXiv · NLP · arxiv.org