The Decoder· Manuel Uth·· 21 小时前AI 评分75
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 在一项发表于 Science 的研究中解决了数十个开放数学问题，包括 353 个开放 Erdős 问题中的 9 个，其中两个已悬置 56 年。
来源：The Decoder · the-decoder.com