OpenAI 数学突破揭示加密安全新隐患

OpenAI 在 Navier–Stokes 方程上的研究进展表明，人工智能有望在智能合约验证领域发挥作用。目前智能合约中存在的规范缺陷可能导致安全漏洞难以被发现，该突破或将成为提升加密资产安全性的关键。