The Decoder· Manuel Uth·· 5 小时前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 在《Science》发表研究，其 AI AlphaProof Nexus 解决了 9 个 Erdős 开放问题，并证明了 44 个 OEIS 猜想。
来源：The Decoder · the-decoder.com