AI 解出了难题，但它先看过答案吗？
让 AI 解决一道研究难题，它交来一份检查通过的证明。接下来还值得问一句：这条路是它自己走出来的，还是刚从网上找来的？ 2026 年 10 月 27 日提交的 OpenFrontiers 预印本，把这两种能力分开测。伊利诺伊大学厄巴纳—香槟分校的研究者选出 50 道数学题，其中 40 道已有解，10 道当时仍开放。七个模型接入 Agent 工具，每题每种条件一次尝试，最多三小时；交卷要提供能通过两个独立检查器的 Lean 形式化证明。 把浏览器关掉，再打开。 在允许续跑的实验