ClaimScope 数学声明审计基准发布

2026年10月16日，arXiv Artificial Intelligence 刊出由 Mushir Akhtar 发布的 ClaimScope 基准。据该报道，ClaimScope 是一个包含 72 个任务的基准，用于审计所提出的数学主张，流程涵盖裁决、范围、反例与修复四个环节，任务覆盖优化器状态传输、有限时域仿射递推和精确 2×2 线性代数三个方向。报道未说明该基准的使用条件、收费或额度安排，也未提及发布时间之外的其他限制。目前该事件仅有这一篇报道，尚无后续跟进报道，因此不存在与早先报道在数字、时间或说法上的矛盾。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。