以太坊基金会推出 better.codes：用 AI 智能体协作提升基于哈希的 SNARKs 安全基准

以太坊基金会形式化验证团队联合 Yukon 与 zkSecurity 推出开放自动研究挑战 better.codes，让参与者用自建 AI 智能体提升 koalaIRS12 这一 Reed–Solomon 邻近性问题的机器可验证可靠性下界，目标为固定的 128 位。每次提交由 Lean 内核校验，被采纳的证明及其新引理、证明技巧与不可能性结果将上传至公共仓库，并署名求解者与所用 AI 模型。