科技OpenAI的数学突破暴露加密安全的下一个薄弱环节
OpenAI称，约1万名并行运行的AI代理在约88小时内解决了纳维–斯托克斯流体运动问题，随后用GPT-6 Astra在Lean中完成形式化验证。该成果显示，自动定理证明或可推进智能合约安全流程，但也凸显了准确制定验证规范的重要性。
C
CryptoSlate★★★☆☆2026-09-10 22:30原文
OpenAI的数学突破暴露加密安全的下一个薄弱环节
科技科技科技OpenAI称，约1万名并行运行的AI代理在约88小时内解决了纳维–斯托克斯流体运动问题，随后用GPT-6 Astra在Lean中完成形式化验证。该成果显示，自动定理证明或可推进智能合约安全流程，但也凸显了准确制定验证规范的重要性。
CCryptoSlate★★★☆☆2026-09-10 22:30原文
科技Minutes Reader 扩展把原网页整理成专注的阅读版式，并可按需翻译原文与视频字幕。目前内测中，名额有限。