The Decoder· Manuel Uth·· 21 小时前AI 评分73
Google DeepMind AlphaProof Nexus 解决数十个开放数学问题并通过同行评审
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI 导读
Google DeepMind 的 AlphaProof Nexus 在《科学》发表的研究中解决了数十个开放数学问题，包括 353 个 Erdős 问题中的 9 个，其中两个已悬置 56 年。
来源：The Decoder · the-decoder.com