R/ArtificialInteligence· /u/jarekduda·2026-10-25 14:48· 5 小时前AI 评分51

AI puzzles：一种介于基准测试与开放问题列表之间的新格式

"AI puzzles": a new format between a benchmark and an open-problem list

AI 导读

作者提出了一种介于固定基准测试和开放问题列表之间的新工具“AI puzzles”，构建了从人类水平到 ASI 水平的分层谜题阶梯。该格式为开放层级提供数值证据、失败路径和机器可验证的成功标准，规定仅可检查的证明有效。