前脚 OpenAI 刚把 Erdős 80 年猜想推翻，数学家们的惊呼声还没落地 … 紧接着，Google DeepMind 发布了一个全新 AI 数学智能体 ——AlphaProof Nexus … Erdős 问题，AlphaProof Nexus 还在 OEIS 猜想、代数几何、凸优化、图论、量子光学等多个数学分支中取得了实质性突破。
前脚 OpenAI 刚把 Erdős 80 年猜想推翻，数学家们的惊呼声还没落地 … 紧接着，Google DeepMind 发布了一个全新 AI 数学智能体 ——AlphaProof Nexus … Erdős 问题，AlphaProof Nexus 还在 OEIS 猜想、代数几何、凸优化、图论、量子光学等多个数学分支中取得了实质性突破。