北京
分享至
谷歌 DeepMind 开发的一个基于 Gemini 的智能体，在 BB(6) 问题中为 11 台停机状态未知的图灵机发现了新的加速规则。
这些规则随后在 Lean 中完成了形式化证明，相关图灵机被归类为 Cryptids。
换句话说，AI 不只是解题，还自己找到了值得证明的命题，并把证明写到了可被机器检验的程度。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
