搜索
谷歌DeepMind一口气解决9道埃尔德什问题
7 小时前
2026年5月，数学界因AI取得多项重大突破。继OpenAI推翻Erdős 80年猜想后，Google DeepMind推出全新AI数学智能体AlphaProof Nexus，成功破解9道悬而未决数十年的Erdős开放问题，其中最古老的问题已存在56年，且每道题算力成本仅几百美元。其证明过程经Lean编译器形式化验证，确保无误。此外，该智能体还在OEIS猜想、代数几何、凸优化、图论、量子光学等多个数学分支取得实质性进展。
