-
产品及解决方案
-
服务
-
产品及解决方案
-
服务
-
云原生产品及应用平台
-
云服务
近日，南开年夜学讲席传授郭少明领导团队与字节跳动Seed互助完成三维粘性挂谷料想的情势化验证事情，并于开源代码托管平台GitHub上发布。这一结果实现了对于现代数学范畴主要结果的一次呆板情势化验证，也为将来使用计较机处置惩罚更年夜范围、更繁杂的数学证实使命提供了主要实践。
三维挂谷料想是现代数学中的闻名难题之一，终极在2022年至2025年由王虹及约书亚 扎尔于三篇文章所证实。这次情势化验证的三维粘性挂谷料想于他们的前两篇文章中证实，同时也是他们末了一篇（以和Guth-王虹-Zahl厥后发布的对于末了一篇的简化证实）所需要依靠的要害成果。情势化验证是对于数学证实利用计较机举行精准的验证。传统数学证实的验证依赖人工举行，时间周期较长。而情势化验证能做到逐逻辑推演查对证实历程，让数学结论于短期内获得更广泛的承认。
这次情势化事情统共完成约180万行Lean代码的书写，此中约90%由字节Seed团队研发的Seed-Prover完成。Seed-Prover利用了Seed-Evolving作为模子底座，采用Agent-Team的方式举行年夜范围并发情势化。数学方面的事情和部门代码由郭少明领导团队成员陈铭峰、 庞逸轩及沈敏行完成。
版权声明：凡本网注明“来历：中国科学报、科学网、科学新闻杂志”的所有作品，网站转载，请于正文上方注明来历及作者，且不患上对于内容作本色性改动；微信公家号、头条号等新媒体平台，转载请接洽授权。邮箱：shouquan@stimes.cn。-PA集团官网
版权所有2016-2025 神州数码集团股份有限公司，保留一切权利。
