jarekduda 发布 9 道可验证数学谜题测试模型推理，Grok 将数值估计误作证明

jarekduda 基于 aperiodic order 论文发布 9 道可验证数学谜题，用于测试和训练模型推理，其中 5 道已解、4 道未解。Grok 虽解出已解题，却把未解的信息维数 D₁≈1.340 数值估计当作证明；规则要求书面证明、Lean/Coq 或精确/区间计算，浮点数仅算证据。