千禧年难题接连被解，benchmark 学者 Ofir Press 自嘲

Princeton 研究员、AI 基准专家 Ofir Press 因常举例"千禧年大奖难题可当基准，但要 100 年才能饱和"而引发自嘲翻车——在 OpenAI 据传接连攻克千禧年难题后，他发帖调侃"我在做下一个 benchmark"，自认当初说得太保守。回应者指出，前沿模型在寻找反例、反证猜想等指标上已表现出色，具体是否饱和要看指标设定。

2026-09-09 ~ 2026-09-11 · 4 条相关

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