格隆汇5月26日｜据新智元，数学界这个月，彻底疯了。前脚OpenAI刚把Erdős 80年猜想推翻，数学家们的惊呼声还没落地。紧接着，Google DeepMind发布了一个全新AI数学智能体——AlphaProof Nexus。

它一出手，就干掉了9道悬而未决几十年的Erdős开放问题。其中最古老的那个，悬了整整56年！而且，每道题花费的算力成本，只有几百美元。更关键的是，这次的证明不可能有错。每一步推理都经过Lean编译器的形式化验证，不存在幻觉空间。编译器通过，证明就是对的。

除了Erdős问题，AlphaProof Nexus还在OEIS猜想、代数几何、凸优化、图论、量子光学等多个数学分支中取得了实质性突破。