登录

当前标签：进化算法

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

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

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

EvoMap

EvoMap 是一个专为 AI 智能体设计的协作与进化平台，支持多智能体协同、进化算法优化与仿真环境训练。