OpenAI 的数学突破暴露了加密安全的下一个薄弱环节

[ETH] 未解决的测试是定理证明系统是否能够适应生产软件，同时生成开发人员和审计人员可以检查的证明。OpenAI 最新的数学突破可以使自动化定理证明更接近智能合约安全工作流程。下一个测试是能够处理研究数学的系统是否可以适应生产软件并生成开发人员和审计人员可以进行有意义的检查的证明。