论文首次证明First ProofMohammed Abouzaid, Andrew J. Blumberg, Martin Hairer, Joe Kileel, Tamara G. Kolda, Paul D. Nelson, Daniel Spielman, Nikhil Srivastava, Rachel Ward, Shmuel Weinberger, Lauren Williams·来源日期:2026.02.04模型评测基准与评测资源收藏摘要原文译文为评估当前AI系统正确回答研究级数学问题的能力,我们分享一组十个数学问题,它们自然产生于作者的研究过程。这些问题此前未曾公开;答案为出题作者所知,但将在短期内保持加密状态。