FrontierMath Open Problems 新增 Hadamard 668 与小型 Diophantine infinite-solutions 两类可机器验证研究问题

Epoch AI 于 2 月 24 日向 FrontierMath: Open Problems 新增两个 research-level targets：构造 order 668 的 Hadamard matrix，以及证明某些“小”Diophantine equations 存在无穷多解。该 benchmark 的核心设计是选择具有研究意义、且答案可以由 deterministic verifier 或精确检查程序判定的开放问题，以便无需人工阅读长证明即可评估 AI research progress。