jarekduda发布9道可验证数学谜题

Reddit用户jarekduda发布9道用于测试和训练模型推理能力的可验证数学谜题，其中5道已有解答、4道仍未解决，涵盖谱隙标记、信息维数及移位不变二元测度的周期性等问题。Grok虽解出已公开答案的题目，却把信息维数D₁≈1.340的数值估计当作未解题的证明。 这些谜题要求提交书面证明、Lean/Coq代码或精确或区间计算；浮点数结果仅可作为证据，不能单独构成证明。贡献者解出的新答案将收录进下一版论文并署名。

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

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