登录

当前标签：AI证明

谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题

谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题

谷歌DeepMind发布AlphaProof Nexus，用进化算法与Lean编译器攻克9道数学难题，其中2道悬置56年。