基准专家曾称千禧年难题当基准需百年饱和，如今感叹说得太保守

Princeton 研究员、AI 基准专家 Ofir Press 在讲授基准设计时常举例称，基准要有挑战性但不能太难，千禧年大奖难题理论上可当基准，但可能要 100 年才能饱和。随着前沿模型在寻找反例、反证猜想等方向上快速进步，他自嘲此前的说法太保守、一语成谶。evijit 等回应指出，具体要看指标：模型擅长找反例与反证，但正面证明仍未必可行。

2026-09-09 ~ 2026-09-09 · 3 条相关

• Ofir Press 调侃基准设计难题：千禧年大奖当基准「要 100 年才能饱和」 — OfirPress · 2026-09-09
• benchmark 专家自嘲:千年难题被 AI 攻克,我原说得太保守了 — OfirPress · 2026-09-09
• 千禧年难题当基准可能要 100 年才饱和，但前沿模型已擅长反证猜想 — evijit · 2026-09-09