DeepMind 的 AlphaProof Nexus 以 Lean 证明解决 9 个 Erdős 问题，其中两个悬置超过 50 年

针对 353 个 Erdős 问题和 492 个 OEIS 猜想的结果及机器验证证明已在 GitHub 公开。