密码学家评 ETH 新 Lean 形式化证明：或开启亚指数世界

密码学家 Matthew Green 关注 ETH 一项新的 Lean 形式化证明结果，认为若证明有效，其实际难度可能远低于此前假设，或将开启“亚指数世界”。他借助 Claude 推演结果含义，但相关具体技术细节尚未公布。