所谓“形式化”证明，就是把数学证明翻译成一种极其严格、精确的语言，让计算机能够自行验证其中的每一步，而不需要依赖人的主观判断。
今年2月，AI辅助数学形式化取得一项里程碑式进展，成功对菲尔兹奖得主玛丽娜·维亚佐夫斯卡关于8维和24维空间中最有效球体堆积方式的研究成果完成了计算机验证。Claude此次使用的Lean是一种专门用于形式化数学的证明辅助工具。正确判定率从99.9%到100%经过形式化之后，怀尔斯的证明获得了一份计算机可逐行核验的“认证”。
本文来自作者[科创内参局]投稿，不代表绮畅科技网立场，如若转载，请注明出处：https://www.lorte.cn/zixun/202609/1739.html
评论列表（4条）
我是绮畅科技网的签约作者“科创内参局”！
希望本篇文章《数学证明迈入机器验证新时代》能对你有所帮助！
本站[绮畅科技网]内容主要涵盖：教育咨询,知识百科
本文概览：所谓“形式化”证明，就是把数学证明翻译成一种极其严格、精确的语言，让计算机能够自行验证其中的每一步，而不需要依赖人的主观判断。