Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并通过同行评审

Google DeepMind 的 AlphaProof Nexus 在 Science 发表的新研究中自主解决了数十个开放数学问题，包括 353 个 Erdős 问题中的 9 个，其中两个已悬置 56 年。

🔗 阅读原文

via 无言AIGC · https://aihot.wuyanshuo.cn/items/exmxfkcu8nbqho8sxv7j2475u